L’Encyclopédie/1re édition/TIRE-BOUCLERS

La bibliothèque libre.

TIRE-BOUCLERS, s. m. plur. (Charpent.) les Charpentiers appellent tire-bouclers en quelques lieux, certains outils qui leur servent à dégauchir le dedans des mortaises. Félibien. (D. J.)