Qui s’aviserait d’énoncer les preuves de l’existence des maths ? Et pourtant…