#echo "aa"."$page"."xx";
## Modifications du code d'origine pour virer le fait que l'on charge une
## page qui ne soit pas en php
## et qui se termine par "\00" et donc, vire l'extension ".php" dans le test.
## (HP 22/05/08)
$page_load="./".trim("$page").".php";
if (realpath("$page_load")!== false)
{
#echo "Je repasse par ici";
# echo "$page_load\n";
include("./".$page_load);
}
else
echo "