[extension]. Extension de nom de fichier utilisé par les anciennes versions de Windows (plus utilisée à ma connaissance).