On 04 nov. 2020 11:43, "Fred. Bressy" <bressy.frederic@???> wrote:
[...]
> Err:1 https://packages.sury.org/php stretch/main amd64 php7.2-intl
Ce n'est pas le dépot Debian et php 7.2 n'est as disponible en Debian 9.
Il faut passer à la derniere stable (buster 10) poiur avoir php 7.3
Christian