1. LIP, Ecole Normale Supérieure, 46 Allée d'Italie, 69007 Lyon, France
2. Laboratoire d'Informatique de Grenoble, Grenoble University, 51 Avenue Jean Kuntzmann, 38330 Montbonnot St. Martin, France
3. Department of Computer Science, University Kiel, Christian-Albrechts-Platz 4, 24118 Kiel, Germany
4. Laboratoire d'Informatique de Grenoble, Grenoble University, 51 rue Jean Kuntzmann, 38330 Montbonnot St. Martin, France