les mines de charbon et la production