utilisation du charbon dans la production de ciment