Theorie et la pratique de la coupe des pierres et des bois, pour la construction des voutes et autres parties des bâtimens civils et militaires. 1