Coupe du Monde de Football 2018: le dispositif antenne de RFI