https://gnulinux.ro/blog-page-5457-ce-este-ppa-in-ubuntu-si-cum-il-folositi/blog/cat/9/blog/cat/4/distributii