quelles machines sont utilisées dans les mines