Solve a problem in intervalle.c