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

La bibliothèque libre.

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