terminologies dans l industrie minière