C'était ça, j'avais pas poursuivi ça loin et j'essayais d'utiliser des vieux tricks avec des inégalités foireuses, mais en fait il suffisait de developper, utilité ICS pour les doubles produits, et faire des changement d'indice à chaque fois. on avait des sommes qui allait de 1 à n, de 2 à n-1, de 3 à n-2... mais puisque c'étaient toutes des sommes de xi^2, on majore direct par la somme de 1 à n, et c'est bon. merci 