L’Encyclopédie/1re édition/POMPER
(Tome 13, p. 13).
POMPER, v. act. (Gramm.) c’est attirer ou avec une pompe, ou en imitant sa fonction de quelque maniere que ce soit. Nos corps pompent l’humidité.
Pomper, en terme de Rafineur, n’est autre chose que l’action de jetter avec le couteau en empalant ou en mouvant, de la matiere d’une forme qui est trop pleine dans une autre qui l’est moins. Voyez Couteau, Empaler & Mouver.