Polka compuesta por Carlos García Tolsa, partitura facilitada por Diego Marín Sánchez.