Projet Contraintes, INRIA Rocquencourt, BP105, 78153 Le Chesnay Cedex, France.|Projet Contraintes, INRIA Rocquencourt, BP105, 78153 Le Chesnay Cedex, France.|Projet Contraintes, INRIA Rocquencourt, BP105, 78153 Le Chesnay Cedex, France.