Platonism than Formalism. (in French) Jacques Hartong and Georges Reeb, Intuitionnisme 84 (first published in La Mathématique Non-standard, éditions du C.N...