What do you call that wooden thingy you use to polish or as a finish for vitrified tiles?

[Revolutionary Maniac]

It would really help if you could tell me.


Thanks a lot!