Combien de joueurs une équipe de football compte-t-elle au coup d'envoi ?