extension→. [extension]. Extension de nom de fichier désignant un document produit par un enregistrement de macro sous Windows.
