Les ouvriers affiliés au régime des pensions des ouvriers des établissements industriels de l'Etat organisé par le décret susvisé du 24 septembre 1965, en service ou en mission à l'étranger, conservent le bénéfice de leur régime de sécurité sociale lorsqu'ils sont rémunérés sur le budget général de l'Etat ou sur le budget d'un établissement public de l'Etat ne présentant pas un caractère industriel ou commercial.