Laurent Destailleur 1ea0b594b7 Remplacement de PHP_SELF. Notons qu'ici, il n'est pas possible de mettre en dur le nom de la page (car le fichier est inclus dans plusieurs d'entre elles), donc on remplace par $_SERVER["PHP_SELF"]		2004-07-24 23:22:32 +00:00
..
barre_top	Remplacement de PHP_SELF. Notons qu'ici, il n'est pas possible de mettre en dur le nom de la page (car le fichier est inclus dans plusieurs d'entre elles), donc on remplace par $_SERVER["PHP_SELF"]	2004-07-24 23:22:32 +00:00