suite LSJn.tex : intro trop longue de 2. Application du calcul de séquents à la recherche ... et comparaison des systèmes
suite LSJn.tex 2. (cf. commit précédent)