L’Encyclopédie/1re édition/TIRE-DENT
(Tome 16, p. 342).
TIRE-DENT, s. m. (Soyerie.) pince plate, large & menue par le bec, pour rechanger un peigne de dents.
TIRE-DENT, s. m. (Soyerie.) pince plate, large & menue par le bec, pour rechanger un peigne de dents.