Intel x86S : l'architecture CPU prête à laisser tomber le 32-bit ?