Sous Windows, il y a une option qui permet de "masquer l'extension des fichiers dont le type est connu". Elle est sans doute active sur ton PC.
Si la taille est la même, c'est très certainement le bon fichier. Les fichiers ayant l'extension".exe" sont du type "Application"