Laboratoire de Recherche en Informatique, Université Paris-Sud XI, bât. 490, 91405 Orsay cedex, France.|Laboratoire de Recherche en Informatique, Université Paris-Sud XI, bât. 490, 91405 Orsay cedex, France.