I don't think that the one you are talking about is mine, but I have written one: http://www.eleves.ens.fr:8080/home/george/programmes/divers/ I hope it's fine and there are not too many bugs. -- To unsubscribe: mail -s unsubscribe [EMAIL PROTECTED] < /dev/null
