> http://gforge.inria.fr/frs/download.php/3795/scotch_5.0.6.tar.gz ok > http://gforge.inria.fr/frs/download.php/4663/ecm-6.2.0.tar.gz ok > http://gforge.inria.fr/projects/ecm/ ok