Verification V2 des types + Ajout de tests.