La Philosophie intuitionniste et ses conséquences mathématiques — Dirk van Dalen