Le Calcul des propositions quantifiées 2 — Guy Menand