Sébastien Gandon et Ivahn Smadja (dir.), Philosophie des mathématiques : logiques, preuves et pratique, Paris, Librairie philosophie J. Vrin, 2017, 384 pages - Elawani, Jeffrey (Philosophiques, 2018)