matériel de recherche utilisé dans les mines de charbon