Inria Saclay-Île de France, Bâtiment Alan Turing, Campus de lÉcole Polytechnique, Palaiseau, France, Laboratoire dInformatique de lÉcole Polytechnique (LIX), CNRS UMR 7161, École Polytechnique, Palaiseau, France.