Dépôts

Ajout d'un PPA à vos sources logicielles : voir PPA (Personal Package Archives), d'après https://doc.ubuntu-fr.org/ppa#ajout_d_un_ppa_a_vos_sources_logicielles