Philosophie mathematique - Cavailles, Jean, 1903-1944 (Histoire de la pensée, 1962)