water-hardening tool steels - Allemand Anglais Dictionnaire