i
Exécuter IE10 64bits
outil/
dans les Options internet / ->
<<onglet Avancé>>
(rubrique Sécurité).
cocher activé le mode protégé amélioré
Redémarrer l'ordi pour prise en compte.
Et voilà on est en 64 bits
Sinon 32 bits