Menu [Extension]

Le menu [Extension] comprend les options suivantes :

• [Gestionnaire extensions] (menu Extension)
• [Library Builder] (menu Extension)
• [Importer biblio] (menu Extension)
• [Supprimer biblio] (menu Extension)