portée du travail mine de charbon