Cette page se trouve désormais à cette adresse
https://sites.google.com/view/in-memoriam-jacques-riguet/home