title: L’Encyclopédie/1re édition/GRAVOIS
text: # L’Encyclopédie/1re édition/GRAVOIS
  
  GRAVOIS, s. m. pl. (Architect.) se dit des décombres des bâtimens, des pieces d’eaux & bassins lors qu’ils sont achevés ; ou bien de ce qui reste des allées quand elles viennent d’être dressées & épierrées.
  
  