La zone euro en récession début 2023, le PIB revu à la baisse par Eurostat