“El Hormiguero” y su “canción del verano”