// Affichage d'un message différent dans le cas particulier d'une restauration de la base ne comportant plus l'utilisateur ayant effectué cette importation
if (!empty($_GET['succes'])) {
$succes=$_GET['succes'];
}
// Destruction des variables de la session
session_unset ();
// Destruction de la session
session_destroy ();
// Nous sommes obligés de passer par la variable transitoire $succes car le session_unset détruit $_GET...