En complément : https://debian-facile.org/doc:systeme:apt:pinning https://wiki.debian.org/AptPreferences