Définitionscontrôle ex post