exploitation minière fabrication de machines pour le gaz et le pétrole