1. Inria, 2004 Route des Lucioles, 06902 Valbonne, France, and Laboratoire JA Dieudonné, Parc Valrose, 28 Avenue Valrose, 06108 Nice, France.
2. Inria, 2 rue Simone Iff, 75589 Paris, France, and CERMICS, Ecole des Ponts, 77455 Marne-la-Vallée, France.