tu te rends ici : C:\Program Files (x86)\Electronic Arts\Crytek\Crysis\Bin64
et tu trouveras comment de quoi lancer crysis en 64bits
Attention car contrairement au répertoire bin32, le 64 possède 2 exe :
crysis.exe et crysis64.exe
Il faut bien lancer crysis.exe qui va ensuite lancer automatiquement le crysis64.exe. C'est sous ce nom qu'il apparaitra dans le gestionnaire des tâches il me semble 