pour graver les pierres à enchâsser, pour tailler le bois et exécuter toutes sortes d'ouvrages d'art.