suite LSJn.tex
suite LSJn.tex : presque première version 1. et 2.
latex : preamble.tex et bussproofs.tex