Text this: La objetividad matemática según Jean Petitot