I. Unité-de-recherche and . Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 46 avenue Félix Viallet, pp.38031-38032

I. Unité-de-recherche, . Rocquencourt, . Domaine-de-voluceau, and . Rocquencourt, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, pp.78153-0249, 2004.