machines et le matériel minier