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*.