I am interested in poincare duality from the point of view of Grothendieck's 6-functor formalism. I am predominantly interested in the proof that poincare duality holds in étale cohomology from this perspective. Where is there an account of the most generic situation in which poincare duality of an étale cohomology arises?

I am interested in Poincaré duality from the point of view of Grothendieck's 6-functor formalism. I am predominantly interested in the proof that Poincaré duality holds in étale cohomology from this perspective. Where is there an account of the most generic situation in which Poincaré duality of an étale cohomology arises?