La maison de la musique, ou Haus der Musik