Extension ISO

Permet de définir l'extension par défaut à utiliser pour générer le fichier Iso (.h, .nc, ....).