des sociétés minières de charbon pierre