Verification + Test: OK, implémentation design, réinitilisation de la BDD