exploitation minière du traitement de l étain