Gravar e-mail: L’intuitionnisme entre philosophie, mathématique et logique : mutations et histoire longue