Mise à niveau de Fedora Workstation vers la version 42