Le but de ce groupe de travail est l'étude de la topologie pro-étale définie récemment par Bhargav Bhatt et Peter Scholze [1]. Une autre source est le chapitre dédié du Stacks Project [2].
Le but des six premières séances est de lire les préliminaires sur les anneaux w-locaux (w-local rings), ce qui correspond au § 2 de [1].
Résumé de la sixième séance
On démontrera une "version globale" d'un théorème de Olivier qui dit qu'un morphisme faiblement étale A-->B induit des isomorphismes sur les hensélisés stricts en tout point géométrique de B.