La alegría del batallón: Canción de la gitana