diff --git a/ecrire/public/criteres.php b/ecrire/public/criteres.php
index ae963eb1f01dbe84b025d7fab8ddf2cddf38c4c5..f0803f1df71a6c97129ba6ffe7824b02daf23d46 100644
--- a/ecrire/public/criteres.php
+++ b/ecrire/public/criteres.php
@@ -143,6 +143,7 @@ function critere_pagination_dist($idb, &$boucles, $crit) {
 // {fragment}
 // http://doc.spip.org/@critere_fragment_dist
 // deprecie, doit on le supprimer ? cela ne concerne vraiment que peu de monde ...
+// http://doc.spip.org/@critere_fragment_dist
 function critere_fragment_dist($idb, &$boucles, $crit) {
 }