glossaire des termes relatifs aux mines de charbon