impression du séquent (mais pas encore d'option pour ça)
ajout latex/refutationsSYJ209 et option -irr pour afficher les utilisations de la règle Irr de RJ