logique intuitionniste Synonym