etale -> smooth

Thanks to Zhenbing Zhang
https://stacks.math.columbia.edu/tag/06VC#comment-7124

Author: aisejohan

CONTRIBUTORS

@@ -400,6 +400,7 @@ Emre Sertoz
 Chung-chieh Shan
 Yi Shan
 Arpith Shanbhag
+Zhenbing Shang
 Liran Shaul
 Che Shen
 Bryan Shih

topologies.tex

@@ -1508,7 +1508,7 @@ \section{The smooth topology}
 
 \begin{lemma}
 \label{lemma-affine-big-site-smooth}
-Let $S$ be a scheme. Let $\Sch_\etale$ be a big smooth
+Let $S$ be a scheme. Let $\Sch_{smooth}$ be a big smooth
 site containing $S$.
 The functor
 $(\textit{Aff}/S)_{smooth} \to (\Sch/S)_{smooth}$