<?php
  session_start();                          // Démarrage ou restauration de la session  
  session_destroy();                        // Destruction de la session
  unset($_SESSION['login']);                // Destruction de notre variable $_SESSION['login']
  header('location: page_accueil.php');     // Redirection vers la page d'accueil
  exit();                                   // On quitte
?>