raccourcir la durée Synonym