maquinaria utilizada en los nombres de minería