L’Encyclopédie/1re édition/GRAVOIS
# 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.