Previous project developped during our "Travail d'Etudes et de Recherches", under the supervision of Jean-Christophe Filliâtre (LRI).