Moyenne d'une fonction sur un intervalle