A posteriori error estimates for a mixed-FEM formulation of a non-linear elliptic problem