high-pressure quenching - Allemand Anglais Dictionnaire