INRIA, LORIA, Campus Scientifique, BP 239, 54506 Vandoeuvre-lès-Nancy, France.|INRIA, LORIA, Campus Scientifique, BP 239, 54506 Vandoeuvre-lès-Nancy, France.|INRIA, LORIA, Campus Scientifique, BP 239, 54506 Vandoeuvre-lès-Nancy, France.|INRIA, LORIA, Campus Scientifique, BP 239, 54506 Vandoeuvre-lès-Nancy, France.