Shimura varieties at infinite places