Philosophie mathématique — Jean Cavaillès