Logique intuitionniste — 1 œuvres