The new URL is : http://www.stix.polytechnique.fr/~rcousot