Oh, I forgot to thank you for the link :). But (AFAIK) it's not about the drivers, it's about a little program that can change the resolutions preprogrammed in the BIOS, whichI don't need yet because it already has all those I need.
-- It's hard to find relevant Ubuntu documentation because of many versions https://launchpad.net/bugs/57116 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs