La population européenne s'élève à 513 millions de personnes