Inria, Centre Rennes-Bretagne Atlantique, SERPICO Project Team, Rennes, France.|CREST (Ensai, Université Bretagne Loire), Bruz, France.|Inria, Centre Rennes-Bretagne Atlantique, SERPICO Project Team, Rennes, France.