For Mamuphi (Mathematics, Music and Philosophy at IRCAM in Paris, I gave the lecture Indépendance mathématique ou indépendance logique ? (Une carte feuilletée définie par le(s) langage(s).