Ironia musicale: l'importanza dello humor nella musica