Hello !

If $X$ is a scheme, we can consider the etale topos of $X$ whose object are etale scheme above $X$ with the etale topology.

My question is : is there a know way to express this topos as the classifying topos of some geometric theory ? Of course it is possible, just because it's a grothendieck topos, but I'm looking for an explicit theory at least on some particular case (like when $X$ is affine, or when $X$ is the spectrum of the ring of integer of a number field, or when $X$ is a projective curve over a finite field... )

For example, if $A$ is a ring, then the Zariski topos of $Spec A$ (topos of finite presentation scheme above $Spec A$ with the Zariski topology) is the classifying topos of the theory of local $A$ algebra. (the universal local $A$ algebra being the structural sheaf).