Geometry in the reduction modulo p of Shimura varieties