FileExtension

TextType.FileExtension property

Extension de fichier (sans point de début) d’une ressource textuelle particulière

public string FileExtension { get; }