définitions à l'information de l'extraction du charbon