quelques reformulations
ajout des côtés dans l'indexation, aussi bien dans LSJn.tex que dans le code caml, où le calcul des côtés réalisé uniquement pour la compilation en fonction de la formule est maintenant effectué systèmatiquement dans indexation.ml
caml : prouveur simple à nouveau avec les structures sophistiquées. Suite LSJn : prouveurs implémentés, tests ILTP