Ainsi, un serveur x86 sur deux vendu en Espagne porte la marque HP.