Je viens de me rappeler : il s'agit de toutes façons des dimensions extérieures, non ? Et que doit mesurer 10 mètres ? À l'intérieur ou à l'extérieur ? Il y aura de toute façon encore, à l'intérieur comme à l'extérieur, de l'enduit ou autre chose dessus.