VIDEO. Formule 1 : qu'est-ce que le halo, ce dispositif qui a sûrement sauvé la vie de Romain Grosjean lors de son accident ?