  We investigate the bad reduction of certain Shimura varieties (associated to
the symplectic group). More precisely, we look at a model of the Shimura
variety at a prime p, with parahoric level structure at p. We show that this
model is flat, as conjectured by Rapoport and Zink, and that its special fibre
is reduced.
