Hi David,
Thanks for the quick reaction!
Under the WP Appearance/Menus section: logged out people get the primary navigation menu (Menu principal, in my French settings). Members get another navigation called Menu principal – Members (Primary navigation – Members). This second option (different from secondary navigation) is probably an addition from Paid Membership Pro, the plugin I use to manage memberships.