, INRIA and CMAP, Ecole Polytechnique, CNRS, Palaiseau, France