Ironia musicale: l'importanza dello humor nella musica 1