Autour du proble `me de satisfaction de contraintes Amit Bellicha, Bertrand Neveu, Brigitte Trousse, Christian Bessie `re, Christine Gaspin, David Lesaint, Fabrice Bouquet, Florence Dupin de Saint-Cyr, Gilles Trombettoni, Ge ´rard Verfaillie, He ´le `ne Fargier, Jean-Charles Re ´gin, Jean-Pierre Rellier, Je ´ro ˆme Amilhastre, Je ´ro ˆme Lang, Khaled Ghedira, Marie-Catherine Vilarem, Martin Cooper, Mouhssine Bouzoubaa, Olivier Lhomme, Philippe Charman, Philippe David, Philippe Janssen, Philippe Je ´gou, Pierre Berlandier, Roger Martin-Clouaire, Thomas Schiex, Tibor Ko ¨ke ´ny 13 de ´cembre 1994 1