Euronext published a daily statistics file today which included the 16 DEC series. All series, in- at- or out-of-the-money, had an OI of zero. Contrary to the OCC, they seem to use your definition, i.e. there can't be any open interest after expiry regardless of whether an option was assigned...