Vérification, validation et méconnaissance