les temps économiques de l extraction du charbon