Somme des entiers au carré et raisonnement par récurrence.