Le principe du raisonnement par récurrence