> http://www-c.inria.fr/gamma/cdrom/ftp/emc2/emc2-doc-en.ps.gz ok > http://www-c.inria.fr/gamma/cdrom/ftp/emc2/emc2-doc-fr.ps.gz ok > http://www-c.inria.fr/gamma/cdrom/ftp/emc2/emc2.tar.gz ok > http://www-c.inria.fr/gamma/cdrom/ftp/nsc2ke/nsc2ke.ps.gz ok > http://www-c.inria.fr/gamma/cdrom/ftp/nsc2ke/nsc2ke.tar.gz ok > http://www-c.inria.fr/gamma/cdrom/www/emc2/eng.htm ok > http://www-c.inria.fr/gamma/cdrom/www/nsc2ke/eng.htm ok