un intervalle