pour graver les pierres à enchâsser, pour tailler le bois et pour faire toutes sortes de travaux.