Métaheuristique LNS pour le solveur de contraintes Cobra