Nombre d emplois dans les mines de charbon