Les mathématiques sont-elles découvertes ou inventées ? Où existent les nombres et les figures : platonisme, formalisme, structuralisme et « déraisonnable efficacité »