Langage PASCAL et logique du premier ordre — Maurice Margenstern