1. Equipe de Logique Mathématique CNRS et Université Paris 7, France. E-mail: finkel@logique.jussieu.fr
2. Systèmes physiques pour l'environnement, Faculté des Sciences, Université de Corse Quartier Grossetti BP52 20250, Corte, France. E-mail: simonnet@univ-corse.fr