@session_start();
$userID = $_SESSION['oelog01_UserID'];
$listIDs = file_get_contents(__DIR__ . '/Files/Other/access_1_2.php');
// transformer les sauts de ligne Windows \r\n en \n s'il y en a, puis transformer en tableau
$listIDs = str_replace("\r", "", $listIDs);
$listIDs = explode("\n", $listIDs);
if (!in_array($userID, $listIDs)) {
  // pas dans la liste, redirection page d'accueil et stop
  header('Location: index.php');
  exit();
}