sont utilisés dans industrie minière