Thank you @ankursinha .
Putting 8.8.8.8 as DNS server (instead of my router’s) solved the problem.
I still don’t understand why the problem doesn’t appear on win10 on the same machine and same network infrastructure, but that’s out of scope for this forum, therefore I’m marking it as solved.