Utilisateur:PIerre.Lescanne/Brouillon/Règles d'introduction (logique)