I. Unité-de-recherche and . 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 Montbonnot St Martin (France) Unité de recherche INRIA Rocquencourt, Domaine de Voluceau -Rocquencourt -B.P. 105 -78153 Le Chesnay Cedex