;. Unité-de-recherche-inria-lorraine and . Le-chesnay-cedex, Campus scientifique, 615 rue du Jardin Botanique, vol.101, 2004.