les mines de charbon leur