diff --git a/ecrire/inc/distant.php b/ecrire/inc/distant.php
index c6bd25cda44b371f61d3c1897e82d31463461fa1..544ba433700887eae151b888e02cc6e7351938eb 100644
--- a/ecrire/inc/distant.php
+++ b/ecrire/inc/distant.php
@@ -880,8 +880,9 @@ function nom_fichier_copie_locale($source, $extension) {
  *
  * @param string $source
  *      URL de la source distante
- * @return string
- *      Nom du fichier calculé
+ * @return string|null
+ *      - string: Nom du fichier calculé
+ *      - null: Copie locale impossible
  **/
 function fichier_copie_locale($source) {
 	// Si c'est deja local pas de souci
@@ -947,7 +948,9 @@ function fichier_copie_locale($source) {
 	if ($ext and sql_getfetsel('extension', 'spip_types_documents', 'extension=' . sql_quote($ext))) {
 		return nom_fichier_copie_locale($source, $ext);
 	}
+
 	spip_log("pas de copie locale pour $source", 'distant' . _LOG_ERREUR);
+	return null;
 }