granitoio
granitóio s. m. [der. di granire2]. – 1. Nelle lavorazioni metalliche, specie di cesello usato per granire, cioè per ricavare punti e linee (grani) sulle superfici metalliche, adoperato anche nell’industria grafica per granire le lastre metalliche per la stampa. 2. Nella lavorazione degli esplosivi, strumento costituito da due cilindri di bronzo concentrici, usato per ridurre in grani la polvere da sparo.