Je me demandais simplement si c'était encore une option dans GNOME. Je sais qu'ils ont supprimé des paramètres comme des fous pendant un moment (j'ai même dû utiliser la console pour rétablir les boutons de réduction et de maximisation sur mon bureau - dingue), et je ne serais pas du tout surpris s'ils s'en étaient débarrassés. Toute aide serait appréciée, merci!