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