Cours (2) du 15 janvier 2013 

Topos classifiant d'une théorie, 

par O. Caramello