Réglage de l'intensité lumineuse des LED par « Push-Dim », variation de l'intensité des luminaires à l'aide d'un bouton-poussoir