Allied armies liberated Paris.