sort

[parisse]

je viens de corriger un bug dans sort, qui peut affecter des listes comportant plusieurs fois le meme element si l'ordre n'est pas specifie, en effet sort utilisait <= au lieu de <