theorembeweisendes Programm - Allemand Anglais Dictionnaire