file (if your Web browser can be configured to start the Extension Manager for this file type).
(si votre navigateur Web peut être configuré pour lancer le Gestionnaire des extensions pour ce type de fichier).