procédé pour lextraction du charbon