Fonction définie par une intégrale