Les quantificateurs universel et existentiel ne peuvent pas être permutés en général. Cet article recense quelques cas où, de façon exceptionnelle, l'interversion se fait bien.