HP met quarante-huit cœurs cadencés jusqu'à 2,8 GHz dans une plate-forme x86