extension→. [type de fichier] [langage]. Extension de nom de fichier désignant un document HTML, pour les systèmes qui ne tolèrent pas les noms de fichiers longs (les noms, pas les fichiers... Voir nom long).
