Mattarella dimesso da ospedale dopo operazione per impianto pacemaker