Question complémentaire quoique pas liée à l'achat d'un nouveau processeur : comment mettre à jour l'ancien ? Les patchs diffusés pour Windows suffisent ou il faut mettre à jour son BIOS ou d'autres choses ?
Edit, je m'auto-réponds via Microsoft : "Customers who only install the Windows January 2018 security updates will not receive the benefit of all known protections against the vulnerabilities. In addition to installing the January security updates, a processor microcode, or firmware, update is required. This should be available through your device manufacturer."
Avec ma ASRock Z97 Anniversary de pacotille, autant dire que c'est pas gagné.