fonction définie par une intégrale