first-order theory - Allemand Anglais Dictionnaire