surveillance des mines de charbon