Merge de TypeChecker et TCheck