Appel du TypeChecker dans le main