en:
  instructeurs:
    procedures:
      export_available_html: The export in %{file_format} format is ready. You can <a href="%{file_url}">download</a>
      export_pending_html: We generate this export. You will be able to download it in a few minutes from <a href="%{url}">the exports list</a>.
      exports:
        title: Exports list
        export_description: This list of exports contains the exports you requested as well as those requested by instructors belonging to the same group.
        no_export_html: You have no export at the moment. <br> Can't find an export? It may have expired, exports are deleted after %{expiration_time} hours.