Salut, je propose le petit jeu suivant (fô bien se marrer en août...): j'ai dix millions de float, et je souhaite en extraire la 1000ième valeur la plus élevée.

Qui donnera l'algo le + rapide?