Et la Floride démarre en rouge