Sospensione del mercato ordinario nella giornata di martedì 16 maggio 2023