Dépot Ubuntu/Debian pour nouvelles versions de PHP. (Le gars de dotdeb va arreter de maintenir son dépot).
apt install lsb-release apt-transport-https dirmngr
echo "deb https://packages.sury.org/php/ $(lsb_release -sc) main" > /etc/apt/sources.list.d/deb.sury.org.list
apt-key adv --keyserver keyserver.ubuntu.com --recv-keys B188E2B695BD4743
apt update