J'ajoute pour être totalement complet qu'il ne faut pas choisir son fichier en fonction de son processeur mais bien en fonction du système d'exploitation.
Le système étant lui choisi en fonction du processeur bien sur.
processeur 64bits -> Système 64bits -> fichier AMD64.
Processeur 32bits -> Système 32bits -> fichier X86

Je précise ceci car il est tout a fait possible d'avoir un système 32bits avec un processeur 64bits (l'inverse n'est pas possible) et dans ce cas c'est le choix du système qui doit déterminer le choix du fichier (x86 ici)