P-adic and real subanalytic sets