Le mail de récupération de mot de passe a bien été envoyé.";
    elseif (isset($reset_password) && isset($_POST["password"]))
		echo "
Le mot de passe a bien été changé. Vous pouvez désormais vous connecter.
";
    elseif (isset($_GET["confirmation-mail"]))
		echo "Le mail a bien été renvoyé.
";
	else if (isset($logging_in_user)) {
		echo "Connexion réussie !
";
		require_once "footer.php";
	} else if (isset($_SESSION["user_id"])) {
		echo "Vous êtes déjà connecté !
";
		require_once "footer.php";
	}
}
if (isset($_GET["mdp_oublie"])) { ?>
    
user != null && ($has_error || !isset($_POST["password"]))) { ?>