Verification de types part3