quel est le matériel utilisé dans les mines