. Unité-de-recherche-inria-rocquencourt, . Domaine-de-voluceau, and . Rocquencourt, 78153 Le Chesnay Cedex Unité de recherche Inria Sophia-Antipolis, 2004.