Ajoute des déclarations de type sur itasit et corrige quelques erreurs associées