Existence de l'entier