Automorphic Cohomology II (Carayol's work and an Application)