Il rapido aggiornamento della cartografia IGM al 25000 (GEOmedia, 2023)