Olivia Caramello : “Introduction to categorical logic, classifying toposes and the 'bridge' technique” (IHES, 23 et 24 novembre 2015)