Opens a dialogue box to export the selected library either as an extension or as a Basic library.
Ouvre une boîte de dialogue pour exporter la bibliothèque sélectionnée comme une extension ou comme une bibliothèque Basic.