Hi @Nightmare and @tgilland, It doesn't look like you can set the file name with the 'Download a file from S3' action type. That being said, you can create a 'Read file from S3' query and run a script that downloads the fetched file on success. This setup DOES allow you to set the file name.
Hope that could work for your use case!