Moved to www.irif.fr/~erlich