Correction du typage grâce à global1 : il faut tester si le type d'une déclaration est bien formé.