Formule 1 - Grand Prix du Portugal : Pierre Gasly (encore) étincelant, Esteban Ocon dans le top 10