Systèmes d'exploitation : Red Hat délaisse partiellement le grand public