Résume | Soit S un schéma. Tous les S-schémas évoqués seront supposés de présentation finie. La catégorie des S-schémas étales est une sous-catégorie pleine de celle des S-schémas plats. L'exposé portera sur l'existence d'un adjoint à gauche de cette inclusion de catégories. Un tel adjoint associerait à un S-schéma plat T un morphisme surjectif h_T : T → E qui soit universel pour les morphismes de T vers les S-schémas étales; d'où son nom d'enveloppe étale de T. Un tel adjoint est connu lorsque S est le spectre d'un corps, ou lorsque S est noethérien et que T est propre et lisse (factorisation de Stein). Mais sous la généralité annoncée, et déjà pour S = Spec(Z), un tel adjoint n'existe pas. Par contre, nous montrons que si on se restreint à la sous-catégorie des étales séparés l'adjoint à gauche existe (noté π^s(T/S)). Cela répond à une question de B. Kahn qui avait construit ce π^s lorsque S est de Dedekind. Des propriétés fonctorielles de π^s conduisent, en particulier lorsque S est normal intègre de point générique ξ et que T est lisse, à l'utile isomorphisme π^s(T_ξ) → π^s(T)_ξ. Finalement nous montrons que, sous les mêmes hypothèses, ce schéma π^s(T/S) est l'enveloppe séparée de l'espace algébrique π_0(T/S), qui "représente" les composantes connexes des fibres de T → S, et que M. Romagny a explicité dans le cadre des champs. |