  Given a scheme S and a flat morphism T \to S of finite presentation we define
a surjective S-morphism to an {\'e}tale and separated S-scheme, which is
universal in an obvious sense. Properties of this morphism are deduced from a
thorough uses of quotients by equivalence relations whose graph is open and
closed.
