PIOCHE. n. f. Outil de fer, recourbé, à deux pointes et à manche de bois, dont les terrassiers, les carriers et les maçons se servent pour remuer la terre, tailler des pierres, démolir des murs, etc. Creuser à la pioche. Détacher des roches avec une pioche.
Tout ou partie de cette définition est extrait du Dictionnaire de l'Académie française, huitième édition, 1932-1935