Spahn
étale group scheme
an
étale group scheme
is an
étale scheme
which is a
group scheme
?
.