démanilleur

Définition

(Marine) Outil portatif, pièce de métal dont le centre est évidé, servant à démaniller.