Retocador

Retocador

,
m. e adj.
O que retoca.
M.
Instrumento, com que se tira a rebarba do oiro.
(De retocar)