Let X be any scheme defined over a Dedekind scheme S with a given section x ∈ X (S). We prove the existence of a pro-finite S-group scheme א (X,x) and a universal א (X,x)-torsor dominating all the pro-finite pointed torsors ...