vieux technice dans l industrie miniere