Intervalle compact