raccourcir l'intervalle Synonym