$Développer une variable Bash. Plus d'informations : https://gnu.org/software/bash/manual/bash.html#Shell-Variables.
echo ${{VARIABLE}}
${{VARIABLE}}
echo $?
echo $RANDOM
echo ${{PS0|PS1|PS2|PS3|PS4}}
commande et l'exécute. Identique à l'encapsulation de commande entre des guillemets inversés :$({{commande}})
echo $#
echo ${{{nom_tableau[@]}}}