Le dictionnaire professionnel du BTP
Définition du mot :
GRAVE-LAITIER - n.f. :
[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.