La théorie de la pratique de la coupe des pierres et des bois pour la construction des voûtes