Faut-il changer le nom de San Francisco ?