Le mail de récupération de mot de passe a bien été envoyé.";
    elseif (isset($reset_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) { ?>