Los extranjeros con documentación de residencia en España ascienden a 7,5 millones en 2025 | EnContextoSocial.com