Exercice : Compter les présupposés d'existence