Esa noche había función, era el 25 de Mayo y por primera vez en el año se cantaba «Los Hugonotes».