INRIA Paris-Rocquencourt, 78153 Le Chesnay Cedex, France.|INRIA Paris-Rocquencourt, 78153 Le Chesnay Cedex, France.|INRIA Paris-Rocquencourt, 78153 Le Chesnay Cedex, France.|INRIA Paris-Rocquencourt, 78153 Le Chesnay Cedex, France.