A demographic model with migration for a PAYG pension system