Thanks for all the replies, ladies!!

Very reassuring. We've had puss for 9 years, and she's never really exposed to babies or mini-people ... we've had puppies with her, and she was pretty wary of them! Lots of the cat hissing at the puppy, rather than the puppy barking at the puss! She was however much better with the second little pup than with the first, so maybe sprog will be the natural progression of this ...

Ah, the things that become concerning at this time ...