Thanks for your help. What you suggest is what I already did.
I loaded the files several times.

But in-between I tried downloading the .dmg to a different hard disk and that worked ! I cannot tell the reason but this seems to be the solution.