Logique, ensembles, catégories — Pierre Ageron