vieux technice dans l'industrie minière