Aller au contenu

GRAVOIS

De Encyclopédie

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.