4.2. Gestionnaire de plugins