diff --git a/inc-public.php3 b/inc-public.php3
index 4c37dfd1300a8a3454f386e7bd9faed8e75ff28b..2f47abce3296629a4a7ea236fd0dfd532c112bd4 100644
--- a/inc-public.php3
+++ b/inc-public.php3
@@ -3,4 +3,5 @@
 	# une fois tous les fichiers *.php3 supprimes de la racine, vous
 	# pouvez eliminer celui-ci aussi
 	include('spip.php');
+	spip_log('inc-public.php3 '.$GLOBALS['REQUEST_URI'], 'vieilles_defs');
 ?>