technologie de la connaissance de l extraction du charbon