[(#REM) Navigation des pages admin_plugin, ajouter_plugin et depots. ] [(#SET{actif_defaut,#ENV{voir}|non |et{#ENV{verrouille}|non} |et{#ENV{exec}|=={admin_plugin}} |?{actif}})]
[(#AUTORISER{ajouter,_plugins}|ou{#AUTORISER{ajouter,_depots}}) ]