des mines de charbon et le procédé de cokéfaction 1200