Démission de Ginni Rometty : Red Hat est-il en train de manger IBM ?