Etymology
From Middle English punchoun, from Anglo-Norman ponchon, pounceon et al., and Middle French ponçon, poinchon et al., from Old French ponchon, from Latin pūnctiōnem (“act of piercing”). Doublet of punction. Related to Middle High German punze (“chisel; burin, graver”), ponze (“puncheon, standardized cask”), German Punze (“puncheon, punch, counter”).