Régime de retraites des ouvriers des établissements industriels de l'État 1er août 1969 — France