Torrejón y Velasco: Musique à la cité des rois