1: \begin{proof}

2:  Here again, we only sketch the proof and postpone the details to \S \ref{sectproofbounds}.\\

3: The proof is  by induction on $k$. In order to show that \eqref{induc}$_{k+1}$ holds if  \eqref{induc}$_k$ is satisfied, we first derive the necessary bounds on

4: $V_m^{k+1}$ ($m=0,1,2$) which are a consequence of the higher order estimates of Proposition \ref{propHO} for the $\VV^{n-1}$ estimates, and of Proposition \ref{propcontinf} for the estimates based on $L^\infty$. The required estimates on $V^{k+1}$ are then deduced from the estimates on $V_m^{k+1}$ using the elliptic regularization properties stated in Proposition \ref{propell}. These results are rigorously stated and proved in Lemma \ref{lemMM}.\\

5: These upper bounds are then used to prove Lemma \ref{lemsource}, which provides the required estimates on $\cS^{k+1}$ and $\cS^{k+1}_m$.

6: \end{proof}

7: