« pompe.3 », définition dans le dictionnaire Littré
pompe
Définition dans d'autres dictionnaires :
Fac-simile de l'édition originale du Littré (BNF)
pompe [3]
(pon-p') s. f.
- Travail à la pompe, nom donné, chez les tailleurs, au travail des ouvriers qui font les retouches.