Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces Classification of non-degenerate projective varieties with non-zero prolongation and application to target rigidity 