Langage PASCAL et logique du premier ordre 2 — Maurice Margenstern