Bonjour,
oui c'est bien cela et c'est d'ailleurs écrit ici https://wiki.openstreetmap.org/wiki/Tag:leisure%3Dsports_hall "As explained on the wiki page for sports centres, a sports hall that is part of a sports centre (e.g. a tennis hall of a tennis centre) should not be tagged as a sports centre itself (avoid nested sports centres) but can be tagged with leisure=sports_hall. "