frassinelle s. f. (fra-ssi-nè-l') supplément
-
Sorte de pierre dont on se sert pour donner le fil à certains outils et pour polir l'émail.
Ces pierres, que l'on nomme frassinelles, s'emploient avec un peu de ponce pulvérisée, et on polit avec leurs pointes les nus des figurines,
Œuvres de Benvenuto Cellini, Trad. L. Léclanché, Traité de l'orfévrerie, ch. V, ou t. II, p. 286
Étymologie
Ital. frassinella.