diminuer l'intervalle Synonym