Redirection de page php

<?php
// à faire au tout début du fichier index.php
// on initialise la session php
session_start();

// on vérifie si l'utilisateur a déjà été redirigé vers la page2 en vérifiant l'existance d'une variable de session
if (isset($_SESSION['redirige'])) {
    // la première fois qu'on se connecte à cette page, la variable $_SESSION['redirige'] n'existe pas. Donc on crée cette variable et on redirige
    $_SESSION['redirige'] = true;
    header('Location: page2.php');
    exit(); // on arrête le script ici -> le visiteur est redirigé vers page2
}

<a href="index.php">Retour à l'accueil</a>

if (!isset($_SESSION['redirige'])) {