quel outil est utilisé dans l exploitation minière