On a écouté la musique de Wagner, un allemand qui est mort.