optimisation : ajout d'un tri des variables avant l'initialisation de unassignedVar (optimise l'heuristique de base de chox de variable libre