punch marking - Allemand Anglais Dictionnaire