<?php

/**
 * Déconnexion d'un utilisateur authentifié.
 */
  // Récupération de la session
  session_start ();
  // Destruction des variables de la session
  session_unset ();
  // Destruction de la session
  session_destroy ();
  // Redirection de l'utilisateur vers la page d'authentifiaction
  header('location: /pages/formulaire_accueil.php?succes=1');
?>