Thanks for trying, Peter, but something solved the problem before I got to try your suggestions. It’s weird:
Last night, I had the problem several times, even after rebooting the PC.
Today, without having rebooting or even logging off, I tried again, and it worked fine.
I guess we’re not meant to understand everything!