machilis utilisees dans les mines de cuivre