Merci arghlub pour ces infos.
Toutefois la solution s'est avérée assez compliquée. Je n'ai pas compris tout de suite qu'il fallait configurer uniquement bash et non le terminal.
Je détaille pour ceux qui auraient le même problème.
mate-terminal ne paraît pas fonctionner de manière très standard. Il est sophistiqué (multi-onglets, image de fond, 16 couleurs personnalisables etc). Mais, bien que j'ai changé certaines préférences, pas de
~/.bashrc 
(seulement ~/.bash_history). J'ai cherché un peu partout sous ~/ sans résultat. Il doit bien y avoir des fichiers de config du terminal sous
~/ puisque on peut définir des profils et modifier un profil sans privilèges root. Mais où ?
Rien dans le panneau de préférences sur le prompt. Et la doc du terminal est muette sur les fichiers de config.
Par ailleurs je trouve dans Synaptic que tous les fichiers de config installés par mate-terminal et mate-terminal-common sont soit des fichiers de type .ui ou .xml sous /usr/share/mate-terminal/ sauf un fichier /usr/share/applications/mate-terminal.desktop .
J'ai finalement trouvé un fichier
/etc/bash.bashrc dans lequel apparaît :
Code : Tout sélectionner
# set a fancy prompt (non-color, overwrite the one in /etc/profile)
# but only if not SUDOing and have SUDO_PS1 set; then assume smart user.
if ! [ -n "${SUDO_USER}" -a -n "${SUDO_PS1}" ]; then
PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '
fi
J'ai tenté le coup, créé
~/.bashrc et combiné ce code et le tien, ce qui donne :
Code : Tout sélectionner
# Mise en évidence du prompt bash.
# Variante mixte adaptée de /etc/bash.bashrc et du code de arghlub (voir dans CherryTree) :
if [[ ${EUID} == 0 ]] ; then
PS1='${debian_chroot:+($debian_chroot)}\[\033[1;4;31m\]$\u@\h\w\$:\[\033[0m\] '
else
PS1='${debian_chroot:+($debian_chroot)}\[\033[1;4m\]\u@\h\w\$:\[\033[0m\] '
fi
Ça marche

(prompt gras & souligné). Autrement dit les options de bash sont prioritaires sur celles du terminal et le code 0 revient aux options du terminal.
Toutefois ça ne marche pas si on passe
su mais seulement si on fait
su -p. Une habitude à prendre. Je suppose que c'est impossible pour
su à moins d'intervenir dans un fichier système (?). Ce serait à refaire à chaque install et sans doute pour certaines mises à jour. Je renonce sur ce point.
J'ai renoncé aussi à utiliser les couleurs (sauf pour
su -p) car j'ai mis mon terminal en fond jaune clair et les codes couleurs sont visiblement adaptées aux terminaux à fond noir : couleurs de textes pâles sauf le rouge et le noir, couleurs de fond sombres.
Problème résolu.