Red Hat a sauvé le bacon d’IBM ce trimestre