Verification de types part2 - corrections :3