martinet (N) — martineur (N)
martineur : Ouvrier qui présente les barres de fer à l'action du martinet.