This is a section of a master course that I teach, together with Rafael Lalive and Marco Tomassini, at the University of Lausanne.