The SHA1 is the same as yours. I just tried WinRAR, and it's working! I don't understand why this was not working with 7zip (Windows) or with the default archive manager (Windows and Linux). Thanks a lot for your help and answers, I will never have though to try WinRAR.