<?php

require_once ('connexionBD.php');

session_start();

if (isset($_SESSION['mail'])){
    session_unset();
    session_destroy();
}
header('Location: index.php');