Ca y est j'ai réussi 
J'ai dl un dossier bin64 sur un forum, je l'ai mis dans le dossier de Crysis, j'ai renommé le bin32 en bin3, et le bin64 en bin32 (j'parle des dossiers).
Je lance le jeu et il se lance en 64bit, j'ai vérifié en faisant ctrl+alt+sup
Bon astuce pour tout le monde!