Le CERN migre ses ordinateurs industriels de Red Hat vers Debian 13 | Factae