techniques de séparation utilisés dans les mines