Retoque de gradim....
Instrumento de escultor para acabar de alisar a pedra....
Amaciar ou retocar com gradim....
ja·cin·to