Sur la logique intuitionniste