Quale ente pubblico strategico per lo sviluppo dell’Italia negli anni del miracolo economico guidò Enrico Mattei?