production de technique de l'extraction du charbon