pas mal apt-file je ne connaissais pas ... ça permet de trouver dans quel(s) package(s) est une commande.
sudo apt-get install apt-file
sudo apt-file update
apt-file search add-apt-repository
software-properties-common: /usr/bin/add-apt-repository
software-properties-common: /usr/share/man/man1/add-apt-repository.1.gz
;)
une documentation claire sur apt y compris la manière d'empecher la mise à jour d'un package ;)