Valeur moyenne d'une fonction continue sur intervalle fermé