I Presidenti della Repubblica: Enrico De Nicola