Tous les entiers sont réels, c'est redondant