INRIA Paris-Rocquencourt, Le Chesnay, France. gregory.batt@inria.fr|INRIA Paris-Rocquencourt, Le Chesnay, France. gregory.batt@inria.fr|INRIA Paris-Rocquencourt, Le Chesnay, France. gregory.batt@inria.fr|INRIA Paris-Rocquencourt, Le Chesnay, France. gregory.batt@inria.fr|INRIA Paris-Rocquencourt, Le Chesnay, France. gregory.batt@inria.fr|INRIA Paris-Rocquencourt, Le Chesnay, France. gregory.batt@inria.fr