My home page of the Avalon team is [[http://avalon.ens-lyon.fr/~cperez/|there]]. This is a secondary web site.