“…Further, for each n ∈ N and any t ∈ [0, T ]\S, from (16), we have y, ξ k (t) ≤ sup q≥n y, −u q (t) + z q (t) for all k ≥ n and y, ζ k (t) ≤ sup q≥n y, z q (t) for all k ≥ n, and taking the limit in both inequalities as k → +∞ gives through (17) and (18) y, −u(t) + z(t) ≤ sup q≥n y, −u q (t) + z q (t) ≤ sup q≥n σ y, γ ∂d C(θ q (t),u q (θ q (t))) u q θ q (t) -For each t ∈ [0, T ] and each u ∈ H , the sets C(t, u) are nonempty closed in H and r-prox-regular for some constant r > 0; -There are real constants L 1 > 0, L 2 ∈]0, 1[ such that, for all t, s ∈ [0, T ] and…”