I've been thinking about what actually happened this morning. In fact, when I tried a normal start, ie turn to the pre ignition position, wait for the lights to go out and then fire up, she didn't turn over. I tried that a couple of times. When I just fired up the car without waiting for the lights to clear she started and the warning light came on. I switched off immediately.
Maybe the F1 pump is playing up. I don't remember whether I heard it whirring.