kona68 Parfait, bonne nouvelle !
Pour information complémentaire il s’agit de selinux-policy-40.17-1.fc40.noarch.rpm (et ses autres paquets associés) qui vient corriger le problème du coup.
Edit : Retrait commentaire sur mauvais choix meilleure réponse