Mail : vergne@ihes.fr