Définition : Intégrale d’une fonction positive