A VERIFIER -- remplace vector par map... new commit Version 1.2