INRIA Grenoble-Rhône-Alpes, Saint Ismier Cedex, France.|INRIA Grenoble-Rhône-Alpes, Saint Ismier Cedex, France.|INRIA Grenoble-Rhône-Alpes, Saint Ismier Cedex, France.|INRIA Grenoble-Rhône-Alpes, Saint Ismier Cedex, France.|INRIA Grenoble-Rhône-Alpes, Saint Ismier Cedex, France.|INRIA Grenoble-Rhône-Alpes, Saint Ismier Cedex, France.|INRIA Grenoble-Rhône-Alpes, Saint Ismier Cedex, France.|INRIA Grenoble-Rhône-Alpes, Saint Ismier Cedex, France.