Métrage d'une terrasse

Nous avons un différend avec le constructeur de notre appartement concernant la surface de notre terrasse. Nous avons acheté une terrasse de 3.50X10 = 35 m2 (35.33 pour être précis) et nous constatons qu'elle est plus petite. Nous avons demandé au constructeur de faire refaire les mesures. Le plan qu'il nous renvoie tient compte des rebords extérieurs des murs. La surface serait alors de 36.42 m2 (et on devrait dire "merci") Or la surface totale de ces rebords plus deux petits poteaux "décoratifs" (?) est de 4.45 m2 Notre terrasse fait donc 32 m2 (31.97) et nous avons un différentiel de 3.36 m2 ce qui n'est pas négligeable au prix du mètre carré... Est-il légal de prendre en compte les rebords extérieurs des murets de la terrasse pour calculer la superficie de celle-ci ?