Enrique Lores succèdera à Dion Weisler au poste de PDG de HP Inc.