En plus des noms de fichiers normaux, le serveur crée des noms de fichiers courts, à huit caractères, avec une extension ...