PPS (Programmes, Preuves et Systèmes) (Equipe CNRS - Université Paris 7) Email: burroni@math.jussieu.fr Voir plutôt cette page