Fatal error lors du téléversement d'un fichier d'extension exe (que SPIP tente de zipper)

Bonjour,

Sous SPIP 4.2.16 et PHP 8.3.12 (avec l'extension php-zip activée), lors du téléversement d'un fichier d'extension exe, j'ai systématiquement le message suivant :

PHP Fatal error: Uncaught TypeError: Cannot assign Spip\Archiver\ZipArchive to property Spip\Archiver\ZipArchive::$zip of type ZipArchive in /plugins-dist/archiviste/src/ZipArchive.php:30

Stack trace: #0 /plugins-dist/archiviste/src/SpipArchiver.php(105): Spip\Archiver\ZipArchive->open() #1 /plugins-dist/medias/action/ajouter_documents.php(472): Spip\Archiver\SpipArchiver->emballer() #2 /plugins-dist/medias/action/ajouter_documents.php(186): fixer_fichier_upload() #3 /plugins-dist/medias/action/ajouter_documents.php(53): action_ajouter_un_document_dist() #4 /plugins-dist/medias/formulaires/joindre_document.php(341): action_ajouter_documents_dist() #5 /ecrire/public/aiguiller.php(288): formulaires_joindre_document_traiter_dist() #6 /ecrire/index.php(70): traiter_formulaires_dynamiques() #7 {main}\n thrown in /plugins-dist/archiviste/src/ZipArchive.php on line 30, referer: /ecrire/?exec=article&id_article=347&ajouter=oui

Cordialement,

Equipement