Dénomination > occupation de l’espace > architecture de culture, recherche ou loisir > partie d’édifice de culture, recherche ou loisir > palestre