DOP 78824 : Ciment gris