Un professionista al servizio dell'Eni. L'opera di Mario Bacciocchi (1902-1974)