Fonction décroissante sur un intervalle