principaux types d équipements miniers