The filming of “Vertigo”