E' un ipotesi da non scartare
Anche se quando ho controllato in SIAE (negli archivi disponibili online pubblicamente), non c'era traccia di una "La stella della senna" depositata. In quel periodo, più sigle RTI avevano nomi diversi rispetto alla serie (Tutti abbiamo un cuore; Vola bambino; I ragazzi della senna ecc...). Può anche darsi che per "Stella combatte" AVM non intendesse indicare il nome della protagonista ma dire "La stella della senna combatte", solo che la parola era troppo lunga preferendo optare per una "restrizione". Non scarto neanche l'ipotesi di una estensione del testo successiva a quando la cantò Cristina (di cui esistono già due versioni: una prima versione con un errore storico e la successiva "riparata"). L'accenno alla stella della senna presente in questa versione dell' Antoniano ("Stella combatte...") credo che sia successiva all' adattamento iniziale che pone l'accento sul Tulipano Nero come protagonista, per via della visione dei primi episodi incentrati su di lui, in fase di adattamento iniziale.
