Robin,
You are a living God!
Although PHP 7.3 and then 7.4 are installed, we had not purged PHP 7.0 ( apt purge php7.0* )
So there must have been some bits of 7.0 left over that were disrupting the process.
We can now reach the SETUP. So we continue the adventure!
Thanks for your precious help.
Laurent