Observer design by exact linearization of the error dynamics is well-known in the control engineers' community for roughly 25 years. Unfortunately, this approach is not widely used in control engineering due to restrictive existence conditions and a difficult calculation. In this paper we recall existence conditions and computation methods. Then, we consider the extended Luenberger observer, which is based on a local Taylor linearization and easier to compute. We discuss generalizations and global convergence conditions.