Raisonner par récurrence