Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces A fixed point formula of Lefschetz type in Arakelov geometry. III: Representations of Chevalley schemes and heights of flag varieties 