Ejecución de Rentas de Ingresos junio 2023 (publicado 13 de julio)