réduire l'intervalle Synonym