Dans un raisonnement par récurrence pour prouver une propriété P(n) pour tout n >= 0, que doit-on obligatoirement démontrer à l'étape d'hérédité ?
