la production de ciment dans les mines