Langage PASCAL et logique du premier ordre 1 — Maurice Margenstern