une nouvelle strategie de recherche dans Gecode

Version imprimable