Le métro de San Francisco fonctionnait encore avec des disquettes