Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces On the isotypic decomposition of cohomology modules of symmetric semi-algebraic sets: polynomial bounds on multiplicities 