La Théorie et la pratique de la coupe des pierres et des bois pour la construction des voûtes et autres parties des bâtiments civils et militaires : Ou traité de stéréotomie à l'usage de l'architecture