Valeur moyenne d'une fonction sur un intervalle