L’Encyclopédie/1re édition/TONDINS
(Tome 16, p. 406).
TONDINS, s. m. pl. (Plombier.) instrument à l’usage des plombiers & des facteurs d’orgues. Ce sont de gros cilindres de bois dont on se sert pour former & arrondir les tuyaux de plomb destinés à la conduite & à la décharge des eaux, & les tuyaux d’étain pour monter les orgues. Ces tondins sont plus ou moins gros & longs, selon la grosseur & la longueur qu’on veut donner aux tuyaux. Voyez Tuyaux.