[PHP] menu + include en fonction du menu

if($pc){
    header('Location: page_pc.php');
    die();
} elseif($mac) {
    header('Location: page_mac.php');
    die();
} elseif($linux){
    header('Location: page_linux.php');
    die();
}

<?php
if(empty($_GET['page'])) {
			include("page1.php");
		} else {
			if(file_exists($_GET['page'].".php")){
				include($_GET['page'].".php");
			} else {
				include("erreur.php"); //Si la page demandée n'existe pas, on redirige vers une page d'erreur
			}
		}
?>

<a href="?page=page1">page1</a>
<a href="?page=page2">page2</a>

<?php
	// On fait un tableau des fichiers que l'on doit utiliser
	$arrayPages = array(
	'page1' => 'page1.php',
	'page2' => 'page2.php',
	'page3' => 'page3.php',
	'page4' => 'page4.php'
	);
		
	if(!empty($_GET['page'])) // On demande si la variable $page existe déjà dans le liens
	{
	if(array_key_exists(strtolower($_GET['page']), $arrayPages)) // la clé présente dans le liens existe-t-elle dans notre array ?
	{
		include('repertoiredemespages/'. $arrayPages[ strtolower($_GET['page']) ] ); // Si oui, on inclus la page correspondante
	}
	else
	{
		include('repertoiredemespages/erreur.php');// Si non, on redirige vers une page d'erreur
	}
	}
	else
	{
		include('repertoiredemespages/'. $arrayPages['page1']); //si la variable $page n'existe pas, on redirige vers la page par défaut (page1)
	}
?>

<a href="?page=page1">page1</a>
<a href="?page=page2">page2</a>
<a href="?page=page3">page3</a>
<a href="?page=page4">page4</a>