3 Fonctions propositionnelles et quantificateurs