Anyway, yesterday something tripped the RCD, apropos of f**k all, as we say in Glasgow...
long story short, assuming it was the kettle, notorious here in Spain, but having no luck with that, unplugged everything else in turn. Turned out to be the microwave oven, which, when plugged in, but not switched on, tripped the RCD sometimes almost immediately, sometimes after a few minutes...oddly even when switched off, if I opened the door the turntable was turning...
Binned the microwave, connected the other stuff, all was well. Plugged the microwave into a separate circuit, and it tripped the RCD again, so really binned it for good, and bought a new one. Unfortunately, in finally pulling out the mains plug, the socket fell out of the wall...
The sockets are very flimsy, and screw into a very flimsy plastic back-box which is secured in the wall by being coated with plaster, squished in, the excess plaster wiped out, and left to dry.
The grey plastic box had just cracked round the screws.