“…(b) We say that a smooth O (v) -scheme Y of finite type is a Néron model of its generic fibre Y E(G,X) over O (v) , if for each smooth O (v) -scheme Z, every morphism Z E(G,X) → Y E(G,X) of E(G, X)-schemes extends uniquely to a morphism Z → Y of O (v) -schemes. Definition (a) is a variation of [Re2,Def. 1.5]; more precisely, the group G Z (p) (Z p ) is an h-hyperspecial subgroup of G Q p (Q p ) in the sense of loc.…”