Well, so much for blocking by domain name. As of this morning the flood of messages are back in my junk mail folder because the sender changed. It's now like this:
ChargeCard <@agenciaidea.es>; on behalf of; ChargeCard <@hotmail.fr>; (ChargeCard via agenciaidea.es)
and this:
Elon Musk <@agenciaidea.es>; on behalf of; Elon Musk <@hotmail.fr>; (Elon Musk via agenciaidea.es)
Basically it's being sent "on behalf of" now from an ever-changing list of email addresses at hotmail.fr. I had to go into settings, add hotmail.fr to the safe senders list, then make a second rule to move messages from hotmail.fr to deleted items. Apologies to anyone trying to email me from hotmail.fr for something legitimate...