le charbon de l'exploitation minière