Exode 31.5

5. pour tailler des pierres à enchâsser, et pour tailler le bois, afin d'exécuter toutes sortes d'ouvrages.