Le Chapeau rouge, c'est le nom d'une rue et d'un centre des congrès aujourd'hui, mais comment était nommé cet endroit avant de porter ce beau nom ?