amelioration(export): suggère l'usage de 7zip et de renommer l'archive pour un nommage plus court sur la page des exports afin d'eviter les problèmes au support

Co-authored-by: Colin Darie <colin@darie.eu>

app/views/instructeurs/procedures/exports.html.haml

@@ -15,5 +15,10 @@
     %div{ data: @exports.any?(&:pending?) ? { controller: "turbo-poll", turbo_poll_url_value: "", turbo_poll_interval_value: 10_000, turbo_poll_max_checks_value: 6 } : {} }
       = render Dossiers::ExportLinkComponent.new(procedure: @procedure, exports: @exports, statut: @statut, count: @dossiers_count, class_btn: 'fr-btn--tertiary', export_url: method(:download_export_instructeur_procedure_path))
 
+    - if @exports.any?{_1.format == Export.formats.fetch(:zip)}
+      = render Dsfr::AlertComponent.new(title: t('.title_zip'), state: :info, extra_class_names: 'fr-mb-3w') do |c|
+        - c.body do
+          %p= t('.export_description_zip_html')
+
   - else
     = t('.no_export_html', expiration_time: Export::MAX_DUREE_CONSERVATION_EXPORT.in_hours.to_i )