gravier

Définition

(Géologie) Roche détritique à éléments assez gros (sables grossiers et cailloux), d’origine fluviatile ou littorale (on dit aussi cailloutis). (Jardinage) (Maçonnerie) Ensemble de petits cailloux servant au revêtement des allées, dans un jardin, etc; (Spécialement) pierres concassées, de diamètres de 1/2 à 4 cm, servant au revêtement des chemins carrossables non asphaltés, et au remplissage de volumes pour lesquels on désire que l’écoulement d’eau soit maximal. (Vieilli) (Médecine) Concrétions assez grosses analogues à de petites pierres qui se forment dans les reins ou dans la vessie.