L’Encyclopédie/1re édition/STÉRÉOTOMIE

STÉRÉOTOMIE, s. f. (Géom.) est la même chose que coupe des pierres. Voyez Coupe des pierres.