How many people live in Paris?