Well, now it's ok. All the mouses work properly. What was the problem, I do not know really! What I did, is that I installed a Windows 10 64bit version. Earlier it had a 32bit version. If I remember correctly, I myself had made that error installing the 32 bit version on this machine. Now I...