les inspections des mines de charbon