grisatoio

Noun

 * 1) a type of file used by glassmakers to smooth the edges of glass that has been cut