As an example one can take the Laplace equation plus the square of the unknown, in an open set in , considered with a Dirichl\'et condition on the boundary. The purpose of the talk is to explain how one can obtain parametrices of this non-linear problem. The resulting parametrix formula expresses a given solution via terms depending on the data plus a remainder in for arbitrarily large . The formula implies that solutions belong to the same spaces as in the linear case, under some mild assumptions allowing non-classical cases in which the solution `ends up' in a space on which the non-linear term is ill-defined. The parametrix construction uses pseudo- and paradifferential techniques, and it extends to general semi-linear elliptic systems with non-linear terms of product type.