Le degré de numérisation du registre d'entrée et de sortie des mairies double en 2020