A note on Wronskians and the ABC theorem in function fields of prime characteristic Cohomology of Drinfeld modular varieties. Part II: Automorphic forms, trace formulas and Langlands correspondence. With an appendix by Jean-Loup Waldspurger 