machilis utilisées dans les mines de cuivre