Cliquer le lien BenchmarkDeTris.tgz pour télécharger le fichier.