Deligne_cohomology loading ...