Author: Journées Montoises d'Informatique Théorique (9th 2002 Université Paul Valéry)