Error bounds on analytic Koopman-based Lyapunov functions. - François-Grégoire Bierwart; Alexandre Mauroy (ECC, 2025)