de l extraction du charbon