équipements utilisés dans l industrie minière