noun, masculine/maʁ.ti.nɛ/plural: martinets
multi-tail whip, comprising leather or whipcord thongs fixed on a handle, to dust off or to administer a beating; mechanical hammer on a motor-driven cogwheel, as used to beat metal
From marteau (“hammer”).