Preliminaries -- Function spaces -- Decomposition of the nonlinearity -- Statement of the main estimates -- Proof of the main theorem -- Interlude : Bilinear null form estimates -- Proof of the bilinear estimates -- Proof of the trilinear estimates -- Solvability of paradifferential covariant half-wave equations.