Dico 9 euro anche io, presupposto che l'autoricarica erogata come credito puro viene erosa per ultima.
Se invece venisse erosa per prima, allora bisognerebbe vedere quando sono stati consumati quei 4 euro rispetto a quanto sono stati accreditate le varie ricarciche/autoricariche.