Séminaire de Philosophie et Mathématiques (ENS,  Paris).