$page = basename($_SERVER['PHP_SELF']); $page_list0=array('index.php','about.php'); $page_list1=array('etudes.php','isystemes.php','formations.php','gsoutraitance.php','qhse.php'); ?>

Toggle navigation