Decreto del presidente della repubblica 11 febbraio 1987, n. — Decreto del presidente della repubblica 11 febbraio 1987, n. 32 — Norme di attuazione dell'art. 10 della legge 15 aprile 1985, n. 140, sulla previdenza dei dirigenti di aziende industriali gestita dall'Istituto nazionale di previdenza per i dirigenti di aziende industriali