Que faire à Paris le mardi 17 novembre