l'utilisation du charbon dans la fabrication du ciment