skolem normal form - Allemand Anglais Dictionnaire