Le raisonnement par récurrence est une méthode pour démontrer une propriété.