Ajout de typeChecker