3.3 Négation et quantificateurs