Topos Classifiant, par Jean-Pierre Laffineur (4 janvier 2012)