Stav dette: Les Étapes de la Philosophie Mathématique