Francuski
Dans le domaine de la vérification, l'objectif est d'estimer l'erreur commise entre la solution du modčle mathématique et celle fournie par un modčle numérique. Les travaux présentés ici consistent tout d'abord ŕ prouver la faisabilité de la méthode d'obtention de bornes garanties de l'erreur sur une quantité d'intéręt dans le cadre de la dynamique transitoire. Cette méthode est basée sur le concept d'erreur en relation de comportement et la résolution d'un problčme adjoint. Dans un deuxičme temps, différentes stratégies sont développées afin d'améliorer la pertinence de l'estimateur d'erreur locale. Enfin, cette méthode est étendue aux quantités d'intéręt ponctuelles. La difficulté majeure réside dans la résolution du problčme adjoint dont le chargement est singulier. Pour cela, nous avons choisi de décomposer la solution en une partie analytique, déterminée ŕ partir des fonctions de Green de dynamique, et d'une partie numérique. Tous ces aspects visant ŕ mettre en place les premičres bornes garanties et pertinentes de l'erreur sur une quantité d'intéręt en dynamique, sont illustrés et validés sur des exemples numériques en 2D.
