Fonction croissante sur un intervalle: définition