Luuuu ,
alors ma remarque : ton lemme c une approximation d'une intégrale en utilisons la méthode de trapèze :
INT(a->b){F(x)dx} = f(b)-f(a) avec f'=F
et - (b-a)^3/12*f'''(c) représente l'erreur de l'approximation
(b-a)/n*(f'(a)+f'(b) ) la surface de trapèze d'un pas : h=(b-a)/n.
je crois que j'ai tout dis suffit de faire le calcul.
PS: F[a,b,c,d]=f'''(c)/3!