completeness theorem - Allemand Anglais Dictionnaire