This paper describes an efficient discretization approach for nonlinear continuous-time systems. A Carleman linearization approach is used to evaluate the exact coefficients of the Taylor-Lie expansion of the dynamics of the system. The resulting discretization scheme is used to build a discrete-time observer that displays good performance. The paper shows the advantages of using an integrated discretization - observation approach for large discretization intervals.