le processus industriel de l exploitation minière