I. Centre-de-recherche, ?. Grenoble, and . Rhône, Alpes 655, avenue de l'Europe -38334 Montbonnot Saint-Ismier (France) Centre de recherche INRIA Futurs : Parc Orsay Université -ZAC des Vignes 4, rue Jacques Monod -91893 ORSAY Cedex Centre de recherche INRIA Nancy ? Grand Est : LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615

. Centre-de-recherche-inria-rennes-?-bretagne-atlantique, IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex Centre de recherche INRIA Paris ? Rocquencourt : Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex Centre de recherche INRIA Sophia Antipolis ? Méditerranée : 2004, route des Lucioles -BP 93 -06902, 105 -78153 Le Chesnay Cedex (France) ØØÔÔ»»ÛÛÛººÒÖÖÖººÖ