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"]))) { ?>