Options d'exportation SAT

Fichier journal de sortie

Crée un fichier journal de résultats (< filename>.sat2alias).

Exporter binaire

Enregistre le fichier sous Standard ACIS binaire (un fichier SAB).