Une ville de Floride paie une rançon de 600 000 $ en Bitcoin à des hackers