dérivation sous le signe somme