Laboratoire d'informatique
LIX, UMR 7161 CNRS
École polytechnique
Route de Saclay
91128 Palaiseau Cedex
France 
gregoire.lecerf @ math.cnrs.fr