Gravatilho

Gravatilho

,
m.
Gancho da agulha, com que os marinheiros remendam as velas.
(De gravato. Cp. graveto)