vocabulaires liés à l extraction du charbon