Daubenton, Vandenesse, d’Argenville, L’Encyclopédie, 1re éd.
“ Le buis est un bois jaune & fort dur, dont on fait un grand usage dans différens arts, soit qu’on l’employe comme la matiere sur laquelle l’artiste doit opérer, ou seulement comme une matiere propre à faire différens outils. Buis, subst. masculin, outil de Cordonnier, est un morceau de ce bois de quatre à cinq pouces de longueur, & d’environ un pouce d’équarrissage, & dont les angles sont un peu abattus dans la partie du milieu, pour ne point blesser la main de l’ouvrier. ”
