La page de ModuLogic se trouve maintenant à cette adresse: http://modulogic.inria.fr/