L’Encyclopédie/1re édition/PILER
PILER, v. act. (Gram.) c’est réduire un corps en parties plus ou moins menues, l’écraser avec un pilon, un marteau ou quelqu’autre instrument qui fasse le même effet.
Piler du poivre, terme de l’Art militaire, se dit pour exprimer le mouvement des derniers bataillons d’une colonne de troupes en marche, lequel mouvement se trouve gêné ou retardé par les premiers bataillons. Dans cet état, les soldats ne font pour ainsi dire que piétiner, sans avancer qu’insensiblement ; c’est ce qu’ils appellent piler du poivre. Art de la Guerre, par M. le Maréchal de Puysegur. (Q)
Piler le chanvre, (Cordier.) c’est une préparation qu’on donne à la filasse avant que de la passer au peigne ; elle consiste à mettre la filasse dans de grands mortiers de bois, & la battre avec de gros maillets.