"; print $menu_bar; print $extra; print $extra_info; if ($use_shortcuts) include("$include_path/shortcuts/circ.sht"); // ATTENTION: la ligne suivante (21) et la ligne 27 (les /DIV correspondants) sont à reproduire dans le fichier inclus "extensions.inc.php" // print "