1. Inria , Univ. Lille, CNRS, UMR 8524–Laboratoire Paul Painlevé, F-59000 Lille, France
2. CERMICS , Ecole des Ponts ParisTech and Inria Paris, Université Paris-Est, 6-8 avenue Blaise Pascal, 77455, Marne-la-Vallée, France
3. Université Côte d’Azur , Inria, CNRS, Laboratoire J.A. Dieudonné, Team Coffee, Parc Valrose, 06108 Nice cedex 02, France