composants de l'industrie minière