portsurvey log for http://www.inf.enst.fr

> http://www.inf.enst.fr/~demaille/a2ps/ ok