démaniller (V) — démanilleur (N)
démanilleur : Outil portatif, pièce de métal dont le centre est évidé, servant à démaniller.