Oui je sais mais j'aime bien Gnome.
En tout cas, j'ai trouvé un solution pour ceux qui rencontrent le problème d'animations qui laggent sous Gnome
Dans
/etc/environment, ajouter :
CLUTTER_PAINT=disable-clipped-redraws:disable-culling
CLUTTER_VBLANK=True
C'est pas encore complètement fluide mais ça aide. C'est quand même dingue que l'équipe Gnome qui bosse avec Fedora n'aie toujours pas résolu ce problème.