Menu général de l'Intranet enseignants"; include("header.inc.php3"); ?> "; #echo "vous êtes ".$ss_username."
"; #echo "attaché à ".$ss_tree."
"; ?>