j'ai un doute sur d'éventuels fichiers fournis avec un ?xxxx timestamp éventuel pas nettoyé, du coup j'ai mis un ($|[?]) par précaution.
Il me semble que le cas des urls est pas problématique car le fichier est copié en local quelques lignes plus haut.
moué.
après test, je crois qu'il conviendrait de laisser tomber le .jpeg
qui nécessite de multiples (euphémisme) modifications des fonctions
de filtres_images_mini.php et de filtres_images_lib_mini.php...
il était pourtant écrit :
"aux filtres-image, tu ne toucheras point."