BRST symmetry and de rham cohomology (2015)