Extension de nom de fichier

En informatique, une extension de nom de fichier est un suffixe de nom de fichier fait pour identifier son format. Ainsi, on dira qu'un fichier nommé exemple.txt a l'extension .txt. Ainsi la notion d'extension se spécifie-t-elle au moins par l'adoption conventionnelle d'un caractère dit séparateur, suivi d'une chaîne libre composée de caractères tirés d'une liste excluant le séparateur d'extension lui-même et les caractères interdits par le système de fichiers. Le séparateur fait partie de l'extension. L'extension fait partie du nom de fichier. Le caractère retenu comme pouvant jouer le rôle de séparateur d'extension peut être présent plusieurs fois dans le nom de fichier, seule sa dernière occurrence est le séparateur.

Texte : extrait de l'article Wikipédia « Extension de nom de fichier », sous licence CC BY-SA 4.0.