https://123dok.net/document/zpnxj1dr-intégrale-d-une-fonction-continue-positive.html