  We obtain a refinement of Manin-Mumford (Raynaud's Theorem) for abelian
schemes over some ring of integers. Torsion points are replaced by special
0-cycles, that is reductions modulo some, possibly varying, prime of Galois
orbits of torsion points. There is a flat/horizontal part and a vertical one.
The irreducible components of the flat part are given by the Zariski closure,
over the integers, of torsion cosets of the generic fibre of the abelian
scheme. The vertical components are given by translates of abelian
subvarieties, which 'come from characteristic zero'.
