1. Université Côte d'Azur; CNRS, I3S Inria France
2. Institut de Mathématiques de Toulouse; Université Toulouse III; 31062 Toulouse Cedex 09 France
3. Laboratoire d'Informatique du Parallélisme; École Normale Supérieure de Lyon; 69364 Lyon Cedex 07 France