Sur les 12 400 habitants d'une ville, on compte environ 7% de personnes agées de plus de 80 ans. Quel est le nombre d'habitants qui ont moins de 80 ans ?​