Given a Henselian and Japanese discrete valuation ring $A$ flat projective $A$-scheme $X$, we follow the approach of Biswas-dos Santos to introduce full subcategory coherent modules on $X$ which is then shown be Tannakian. We prove that, under normality generic fibre, associated affine group pro-finite in strong sense (so that its functions Mittag-Leffler $A$-module) it classifies finite torsor...