sortir la verification des tailles acceptable dans une fonction surchargeable inc_verifier_taille_document_acceptable_dist qui recoit en plus un flag pour distinguer un logo d'une image normale

Fix https://core.spip.net/issues/4237 : ne pas ecraser les valeurs de renseigner_source_distante avec les valeurs nulles de renseigner_taille_dimension_image si ce n'est pas une image

ajout d'une option à action_ajouter_un_document_dist() pour bypasser verifier_taille_document_acceptable()

ref #4495

Fix https://core.spip.net/issues/4449 : forcer une mise a jour de la taille de l'image lors du redimensionnement du logo a la volee

On introduit un sanitizer explicite, definissable extension par extension, car sanitizer dans la fonction de lecture des metadata est tout sauf propre et fiable

ajout d'une fonction determiner_sous_dossier_document() pour choisir le sous-dossier dans lequel on range un document : par defaut dans le dossier correspondant a l'extension, sauf si le mode commence par logo -> on range alors dans un sous-dossier IMG/logo/
Utilisation de la fonction avant chaque appel a copier_document() pour que le dossier soit toujours decide ici

Report de r108693 : Report de r108692 : le titrage des documents a partir du nom de fichier est un peu restritif, on donne la possibilite de definir sa regle via une fonction inc_titrer_document_dist surchargeable

Revert de r106288 par svn merge -r106288:106287 . car entites_html n'est pas toujours chargee, donc risque erreurs fatales, et le probleme a ete traite en amont dans la fonction _T de maniere plus generique

echapper les entites du nom de fichier/source quand affiche dans les messages d'erreur (Jarrod Farncomb)

Il arrive parfois que des documents images soient téléversés avec la mauvaise extension par rapport à leur contenu réel. Par exemple recevoir un fichier.jpg alors que son contenu est du png.
On corrige cette subtilité lorsqu’on ajoute un document. Dans ce cas le nom du fichier reçoit en complément la nouvelle extension (il devient donc ici fichier.jpg.png), et on le stocke
dans le bon répertoire (ie: IMG/png/fichier.jpg.png). Quelques logs au passage de ces cas.

Report de r98560 : plusieurs petits bugs sur les documents distants mal formates qui pourraient exister en base par des operations peu avouables, on teste systematiquement que le fichier ressemble bien a une URL avant de s'y fier

différents fix avec php-cs-fixers. Fixers appliqués ici :

	'encoding',                // utf8
	'eof_ending',              // un saut de ligne en fin de fichier
	'elseif',                  // elseif plutôt que else if
	'function_call_space',     // espaces sur fonctions
	'function_declaration',    // espaces sur fonctions
	'function_typehint_space', // espaces sur fonctions
	'linefeed',                // sauts de ligne \n uniquement
	'lowercase_constants',     // true, false, null en munuscule
	'lowercase_keywords',      // mots clés PHP en lowercase
	'method_argument_space',   // espaces sur appels de fonctions
	'multiple_use',            // use unique sur fonctions anonymes
	'newline_after_open_tag',  // ouverture de php… et c'est tout sur cette ligne
	'operators_spaces',        // espaces de part et d'autres des opérateurs binaires
	'parenthesis',             // pas d'espace juste après parenthèse ouvrante, ou avant parenthèse fermante
	'php_closing_tag',         // pas de fermeture de php
	'short_tag',               // tag PHP corrects
	'trailing_spaces',         // pas d'espace qui traîne en fin de ligne
	'visibility',              // déclarer 'public / private / protected' sur les méthodes

Regles : 
- un espace après chaque virgule
- un espace avant et apres chaque '='

Quand une largeur maxi ou hauteur maxi d'image 'est definie, plutot que de generer une erreur, on reduit automatiquement le fichier uploade si l'option 'Générer automatiquement les miniatures des images' a été activée. Du coup il faut verifier la taille (en ko) apres, car si on a reduit l'image elle a des chances d'etre moins lourde aussi.

Quand on insere un document distant, essayer d'en lire les meta-info en en recuperant les premiers 512ko.
Permet de recuperer les dimensions d'une video distante (ca semble marcher sur mp4 et webm, a confirmer sur les autres types de fichier)

Après déplacement du fichier dans IMG/, on regarde si on peut récupérer une taille du fichier, si on ne peut pas, c'est qu'il fait 0 octets et donc corrompu (ou problématique et inutile)

On ajoute cette vérification sur la génération du zip (au cas où)

Vérifier si un fichier existe et n'est pas de taille 0 au début de l'ajout de document, avant la copie du fichier, évite d'avoir de mauvaises surprises avec des fichiers mal uploadés de taille 0.