ce type de charbon utilisé pour le ciment