Préfixe actuel de {$_SESSION['pseudo_utilisateur']} : {$prefixe_utilisateur}
_HEREDOC_; } echo <<<_HEREDOC_Sauvegarde
Sauvegarde des alias virtuels de l'utilisateur
_HEREDOC_; if ($_SESSION['privilege_utilisateur']=="administrateur") { echo <<<_HEREDOC_Sauvegarde de la base de données
_HEREDOC_; } ?>