Salut... petite question...... Quelle sont les axiomes du systéme INTUITIONNISTE pour le calcul propositionnel?