Centre INRIA Rennes Bretagne Atlantique, IRISA, Rennes, France. philippe.veber@googlemail.com|Centre INRIA Rennes Bretagne Atlantique, IRISA, Rennes, France. philippe.veber@googlemail.com|Centre INRIA Rennes Bretagne Atlantique, IRISA, Rennes, France. philippe.veber@googlemail.com|Centre INRIA Rennes Bretagne Atlantique, IRISA, Rennes, France. philippe.veber@googlemail.com|Centre INRIA Rennes Bretagne Atlantique, IRISA, Rennes, France. philippe.veber@googlemail.com