Combien de temps faut-il pour que les cendres de charbon durcissent