Base historique population INSEE rapportée aux géographies 2022