Text this: Les etapes de la philosophie mathematique