. Unité-de-recherche-inria-sophia and . Antipolis, 93 -06902 Sophia Antipolis Cedex (France) Unité de recherche INRIA Lorraine : Technopôle de Nancy-Brabois -Campus scientifique 615, rue du Jardin Botanique -B.P. 101 -54602 Villers lès Nancy Cedex (France) Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu -35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l'Europe -38330, France) Unité de recherche INRIA Rocquencourt : Domaine de Voluceau -Rocquencourt -B.P. 105 -78153 Le Chesnay Cedex, 2004.