termes utilisés dans l exploitation minière