Un adjoint

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.