'.$texte.''; return $texte=$lang[$texte]; } ?> <?php echo lang("aide")." — ".lang("title_html"); ?>

substr($entree, 0, strlen ($entree) - 5))); } asort ($tab); closedir ($dossier); echo ""; foreach ($tab as $elem) { echo ""; } echo "
\"-\"".lang($elem ['file'])."
"; echo ""; ?>