<?php
// On récupère la session
// session_start ();
// On détruit les variables de notre session
// session_unset ();
// On détruit notre session
// session_destroy ();
// On redirige le visiteur vers la page d'accueil
header ('location: ../connexion.html');
?>