travail des mines de charbon