For my research I would like to read all the known **proofs** of the very classical result **"Coherent topoi have enough points"**, by Deligne.

Ref 1: D3.3.13 inSketches of an Elephant

provides a very logic-rooted proof of the statement, I would like to see a more *geometric* or a more *category theoretic* proof.

Suggested by Christian Espindola

Ref 2: 7.44 inTopos Theoryby Johnstone.

Ref 3: 9.11.3 inSheaves in Geometry and Logic.