Ajout du Solver::luc (http://www.luc-damas.fr)