1. Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes, 35000 Rennes, France;
2. Institut National de Recherche en Informatique et en Automatique (INRIA) Rennes, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), 35000 Rennes, France;
3. Centre National de la Recherche Scientifique, Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), 35042 Rennes, France