Deconnexion "; //header('Location : index.html'); } } if(isset($_SESSION['identifiant'])){ $identifiant = $_SESSION['identifiant']; echo "
Bonjour $identifiant, vous êtes connecté"; } ?>