Abstract : The modelling and the numerical simulation of corrosion take part in the general description of the nuclear waste repository. The derivation of models that are accurate in the long-time regime is a challenge, especially in this context. In

Résumé : The goal of a posteriori validation methods is to get a quantitative and rigorous description of some specific solutions of nonlinear ODEs or PDEs, based on numerical simulations. The general strategy consists in combining a priori and a