L’Encyclopédie/1re édition/PIOCHE
(Tome 12, p. 646).
PIOCHE, s. f. outil d’ouvriers, outil de fer avec un long manche de bois qui sert aux Terrassiers, Carriers & Maçons, pour remuer la terre, tirer des pierres, sapper, démolir, &c. Il y en a de plusieurs sortes : les unes dont le fer a deux côtés, comme un marteau, & un œil au milieu pour l’emmancher ; chaque extrémité de cette pioche est pointue. D’autres sortes de pioches s’emmanchent par le bout du fer : toutes deux sont un peu courbes ; mais l’une est pointue comme le pic, & l’autre qu’on nomme feuille de sauge, a le bout large & tranchant. (D. J.)
Pioches, (Luth.) ce sont de petits crochets de fer (fig. 17. Pl. d’Orgue.), qui traversent la barre de derriere du chassis, & les queues des touches. Voyez Clavier.