Déplacer le pilier porteur coûterait plus cher que la nouvelle terrasse.