Le Calcul des propositions quantifiées 1 — Guy Menand