".gettext("Annuaire")."\n"; if (is_admin("Annu_is_admin",$login)=="Y") { $filter="profs"; aff_trailer ("1"); #$TimeStamp_0=microtime(); $group=search_groups ("(cn=".$filter.")"); $uids = search_uids ("(cn=".$filter.")"); $people = search_people_groups ($uids,"(sn=*)","cat"); if (count($people)) { // affichage des resultats // Nettoyage des _ dans l'intitule du groupe echo "
"; } } else { echo "