circuit auxiliaire (d'un disjoncteur)