L’Encyclopédie/1re édition/RONDIN, ou TONDIN
(Tome 14, p. 360).
RONDIN, ou TONDIN, s. m. (terme de Plomblier.) cylindre de bois, sur lequel les Plombiers arrondisent les tables de plomb dont ils veulent faire des tuyaux. Ils ont des rondins de plusieurs longueurs, & de différens diametres, suivant les tuyaux qu’ils ont à arrondir. Savary. (D. J.)