Recordamos las ocasiones en que se ha pitado el himno