galeria nome galerie; tribune; paradis; poulailler; loggia; boyau; galerie d'allongement; mine; encorbellement.