Amelioration de la verif des types