Grave-laitier définition

GRAVE-LAITIER

[Mat. - T.R.] Mélange de granulats, de laitier vitrifié, d'activant de prise et d'eau, fabriqué en centrale et mis en oeuvre pour confectionner des assises de chaussée. Sigle : GL.
Trouvé sur https://www.editions-eyrolles.com/Dico-BTP/definition.html?id=4831

---