Correction tri RANDOM : non respect du randomSeed.
Suite à la migration du 5 février 2014, plusieurs requêtes identiques successives exploitant le même randomSeed pouvaient retourner des résultats ordonnés de manière complètement différente.
Une livraison ce jour à 13h corrige le problème et rétablit le comportement précédent.