modifications pour Gecode 4.2.1