Dictionnaire de Trévoux/6e édition, 1771/ANGROIS
(1, p. 357).
☞ ANGROIS. s. m. Nom qu’on donne aux petits coins qui servent à serrer & à affermir le manche d’un marteau avec le marteau même, en les insérant dans le bout du manche, ou entre le manche & les parois de l’œil du marteau. Encyc.