Philosophie des mathématiques et des sciences de la nature — Hermann Weyl