AIEA et TNP : Le défi de la vérification