analyse:integrales:derivee_d_une_fonction_definie_par_une_integrale