F1 : Michael Masi, directeur de course de la Formule 1, annonce son départ de la FIA.