Définition grave-ciment

Citations Synonymes Définition
Grave-ciment (Nom commun)
Féminin
  • (Travaux publics) Mélange de grave et de ciment ou tout autre liant hydraulique.