entrada solemne de la fiesta del carmen de la tirana