Mathématiques intuitionnistes — 8 œuvres