Logique, raisonnements, quantificateurs

Bonjour à toutes et à tous !