Le Calcul des propositions quantifiées — Guy Menand