Machines-outils, outillage, vérificateurs, notions pratiques — Paul Marie Gorgeu