Grateia

Grateia

,
f.
Instrumento, para limpar o fundo dos rios.
*
O mesmo ou melhor que busca-vidas.
(Do fr. gratter?)