Outil de validation à double programmation