Dans cet exemple, le fichier est dans le même dossier
Le nom du fichier peut être modifié dans le champ du formulaire
Le bouton d'envoi des données du formulaire appelle le fichier download.php avec le paramètre file, et le fichier PHP exécute automatiquement le téléchargement du fichier concerné.