Retoque de gradim....
Instrumento de escultor para acabar de alisar a pedra....
Amaciar ou retocar com gradim....
ha·lo·bi·on·te