"; print_r($tab_global); //print_r($_SESSION['repertoire']); //print_r($_SESSION['fichier']); ?>