Cette page est désormais disponible à l'adresse :

http://www-rocq.inria.fr/bang/FB/index_FB.html