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