mois
ip_log('inc-public.php3 '.$GLOBALS['REQUEST_URI'], 'vieilles_defs'); ?>