ce type de charbon est utilisé pour fabriquer du ciment