Are your benefits in the Michelin Pension Plan within the Defined Benefit (DB) section or the Defined Contribution (DC) section?
DC DB I have both