Semi-infinite flags. II: Local and global intersection cohomology of quasimaps spaces On the first cohomology of Jacobians of projective curves with good reduction defined over the field of real formal power series 