Fonction Riemann-intégrable