Red Hat devient fournisseur de virtualisation