technologie de la connaissance de l'extraction du charbon