Pourquoi les médias publics français, dont RFI, sont-ils en grève ce mardi ?