diminished increment sort - Espagnol Anglais Dictionnaire