Les services accomplis dans un établissement industriel ayant fait l'objet d'un arrêté d'assimilation entrent en compte pour les périodes antérieures à la mise en vigueur de cet arrêté, sous la réserve qu'il sera fait déduction du montant des rentes qu'aurait constituées la double cotisation ouvrière et patronale du régime spécial des retraites des ouvriers mineurs.