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