Serveurs : un serveur HP avec Windows et Itanium en tête de TPC-C