I. Centre-de-recherche, ?. Bordeaux, and . Ouest, Domaine Universitaire -351, cours de la Libération -33405 Talence Cedex Centre de recherche INRIA Lille ? Nord Europe : Parc Scientifique de la Haute Borne -40, avenue Halley -59650 Villeneuve d'Ascq Centre de recherche INRIA Nancy ? Grand Est : LORIA, Technopôle de Nancy-Brabois -Campus scientifique 615

I. Centre-de-recherche, ?. Paris, and . Rocquencourt, Domaine de Voluceau -Rocquencourt -BP 105 -78153 Le Chesnay Cedex Centre de recherche INRIA Rennes ? Bretagne Atlantique : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex Centre de recherche INRIA Saclay ? Île-de-France : Parc Orsay Université -ZAC des Vignes : 4, rue Jacques Monod -91893 Orsay Cedex Centre de recherche INRIA Sophia Antipolis ? Méditerranée : 2004, route des Lucioles -BP 93 -06902, 105 -78153 Le Chesnay Cedex (France) ?tt??????????r????r