What is the population of France?