The first two Paris arrivals appear to be 0747 (M-Th) and 0809. So the hypothetical sleeper could arrive at 0743, which is a bit early given the clock change but not bad. A 10-hour journey (non-tilt, please, and 200km/h!) would therefore leave Edinburgh around 2100 which is reasonable. (in...