la production des mines de charbon