Is it really necessary to use gnome-session from this ppa ?
I know that we can't install the gnome-session from Trisquel because of the dependencies errors, but I don't think that installing a ppa just for this is a good solution (even knowing it will provide a more updated version of gnome 3).
