';
$img_cacher = '
';
$img_reload = find_in_path('reload_page.png');
$img_reload_new = find_in_path('reload_page_new.png');
$page_modifie = "#ENV{use_cache}";
if($page_modifie){
$img_reload = $img_reload_new;
}
$img_logout = find_in_path('exit.png');
// Masquer entierement les boutons quand on s'est deconnecte sans avoir detruit le cookie.
if(!isset($GLOBALS['auteur_session']['id_auteur'])){$afficher_boutons="display:none; ";}
else{$afficher_boutons="display:inherit; ";}
// Appel du fichier de configuration boutons_supp_options.php, dans lequel on peut choisir
// de masquer certains boutons
include(find_in_path("boutons_supp_options.php"));
$cacher_le_bouton = $GLOBALS['cacher_le_bouton'];
?>
[(#REM) Bouton lorsque la barre de boutons est masquee ]
[(#REM) Div globale de la barre de boutons ]