Ron DeSantis élu gouverneur de Floride. Rick Scott élu sénateur : tous les résultats en Floride.