Text this: Les formes du realisme mathematique