Ce sont des dénominations commerciales. La dénomination usitée est « première et deuxième divisions du championnat de France de football ».
S'agissant du Trophée des champions, je signale qu'il n'y a aucune chance que cette compétition ait lieu en mai – il faut attendre la fin du championnat et de la Coupe de France.
J'aurais préféré que l'on vise toutes les compétitions organisées par les ligues de football : si une compétition est réintroduite, comme la Coupe de la Ligue, les organisateurs sont capables de choisir le 5 mai – on a failli avoir une finale de la Coupe de France à cette date. Il faudrait peut-être amender le texte sur ce point.