Logiques, ensembles, categories le point de vue constructif - Ageron, Pierre (Ellipses, 2000)