fonction trie décommentée, ajout quelques synchronized