completeness theorem - Espagnol Anglais Dictionnaire