matériel utilisé pour les mines de charbon