Verification de types part2