IRISA-INRIA, Campus de Beaulieu Bât 12 35042 Rennes cedex, France.|IRISA-INRIA, Campus de Beaulieu Bât 12 35042 Rennes cedex, France.|IRISA-INRIA, Campus de Beaulieu Bât 12 35042 Rennes cedex, France.|IRISA-INRIA, Campus de Beaulieu Bât 12 35042 Rennes cedex, France.|IRISA-INRIA, Campus de Beaulieu Bât 12 35042 Rennes cedex, France.|IRISA-INRIA, Campus de Beaulieu Bât 12 35042 Rennes cedex, France.|IRISA-INRIA, Campus de Beaulieu Bât 12 35042 Rennes cedex, France.|IRISA-INRIA, Campus de Beaulieu Bât 12 35042 Rennes cedex, France.