ah, au fait, pour le redacteur de la FAQ, Gnome, c pas un Window Manager Sidounet: c est quoi gnome d ailleurs ? happy : c un langage happy : ca te permet en particulier d'associer des objets d'un window manager