Weakly \'etale morphisms of schemes

Just the basics + an application of Olivier's theorem characterizing
weakly \'etale morphisms in terms of strict henselizations.