traction et traitement des mines de cuivre