Début d'implémentation de l'interface de l'éditeur:
	Ajout de règles
	Ajout de premices
	Détection des premises initiales
	Détection des conclusions finales
	Détection des conclusions intermédiares