(terme d'Ouvrier) c'est se servir d'une pierre-ponce pour enlever de dessus quelque superficie le raboteux qui y est afin de rendre l'étoffe plus unie et plus douce.
PONCER, terme de Chapelier, qui signifie tondre un chapeau, ou en ôter les plus longs poils pour le rendre plus ras, en passant la pierre-ponce par-dessus. Quand on fait cette opération avec de la peau de chien de mer, on l'appelle rober. Voyez ROBER. Lire la suite...