population légale 2023