5,111 millions d’habitants en UE, ça me parait, ou trop peu (5,1 millions) ou beaucoup trop (5,1 milliards) Dans le doute, je déplace la virgule, et j’opte pour un salutaire 511 millions d’habitants !