Légère optimisation de quicksort