Régime de retraites des ouvriers des établissements industriels de l'État 1er décembre 1967 — France