shadow272 (./4) :
Merci pour ces précisions, je n'avais pas saisi qu'il fallait renommer le fichier.

???
Non, il n'y a pas besoin de renommer les fichiers. Il suffit de télécharger la bonne archive et d'extraire le fichier dont on a besoin.