Talk:De Rham–Weil theorem