“…Let (T m , E m , (x K ) K∈Tm ) m≥1 and (∆t m ) m≥1 be sequences of admissible discretisations of Ω and (0, T ) respectively fulfilling condition (39). Let (u m , J m ) m = (u p , J p ) 1≤p≤P T ,m m≥1 be a corresponding sequence of discrete solutions to (33), from which a sequence of approximate solutions (u Tm,∆tm , J Em,∆tm ) m≥1 is reconstructed thanks to (37)- (38). Then there exists a weak solution (u, J) to (2)-( 5)-( 6) in the sense of Definition 1.1 such that, up to a upsequence,…”