Ligue 1. Rennes - Marseille : heure, compos, diffusion… Les infos pratiques du choc de la 20e journée