Como eu estava com pressa para resolver o problema, decidi começar do zero: eu removi o PHP 7.0 e tentei reinstalar, mas ...
sudo apt-get install php7.0
Versão 7.1 novamente!
Bem, eu decidi seguir sua orientação e compilar a versão 7.0, mas ... novamente os problemas surgiram e novamente eu não pude instalar o mbstring
.
Sem mais delongas, tive que recusar e instalar a versão 7.1 para continuar desenvolvendo meu trabalho. Meu problema agora é apenas o Magento, que na versão que eu uso não aceita 7.1.
Eu vou ver isso mais tarde: ou eu faço um dowgrade do Ubuntu ou atualizo a versão do Magento ... Enfim, obrigado Panter e outros por atenção.