écourter la durée Synonym