The address of this page has changed : it is now
http://tcts.fpms.ac.be/~dutoit