oué je crois que c'est la loi binomiale, ça doit etre sum(nCr(6,i),i,0,4) (=57) (avec les notations de la ti)