Au fait: Clem a présenté #Cinnamon, nouvelle interface graphique forkée de Gnome Shell et basée sur Mutter+Gnome3. Très joli.