diff --git a/ecrire/inc/documents.php b/ecrire/inc/documents.php
index 798fc04d8bb2ac0cb34bbd32ecc6b7b86a646a2e..171f5dbbf00ab66dbbbc1b8c8ae72dc805d6079f 100644
--- a/ecrire/inc/documents.php
+++ b/ecrire/inc/documents.php
@@ -651,6 +651,7 @@ function affiche_raccourci_doc($doc, $id, $align) {
 
 
 // Est-ce que le document est inclus dans le texte ?
+// http://doc.spip.org/@est_inclus
 function est_inclus($id_document) {
 	return is_array($GLOBALS['doublons_documents_inclus']) ?
 		in_array($id_document,$GLOBALS['doublons_documents_inclus']) : false;