fix: Notice PHP si une image (par exemple de la médiathèque) n’existe pas sur le disque

inc/documents.php

@@ -126,7 +126,7 @@ function vignette_automatique($img, $doc, $lien, $x = 0, $y = 0, $align = '', $c
 		$class .= ' spip_document_icone';
 	}
 	$size = @spip_getimagesize($img);
-	$img = "<img src='$img' " . $size[3] . ' />';
+	$img = "<img src='$img' " . ($size[3] ?? '') . ' />';
 
 	// on appelle image_reduire independamment de la presence ou non
 	// des librairies graphiques