Plates-formes : Red Hat cible les serveurs multiprocesseurs