(BIN) lahaye5.dvi
 (HTM) lahaye5.html
 (DOC) lahaye5.pdf
 (TXT) lahaye5.ps
 (TXT) lahaye5.tex