modifications mineures de LSJn.tex
test avec les 4 prouveurs à la fois (incompatible avec -stop)