«Robots tueurs» à San Francisco : la ville n'autorise pas la police à les utiliser mais n'écarte pas totalement l'idée