These pages have moved to http://nicolas.limare.net/pro/.