Spahn étale scheme

A $k$-scheme which is a directed colimit of spectra of finite separable extensions of $k$ is called étale scheme.

A formal $k$-scheme which is a directed colimit of formal spectra of finite separable extensions of $k$ is called étale formal $k$-scheme.