contrôle a posteriori