I have looked at the paragraphs, it is clearly and unmistakably stated what is allowed and what is not. Back then, we had our own trees pruned because of the photovoltaic system. No problem, you quickly forget how tall they were. And since we are the only ones who have trees, bushes, etc., we told our neighbors (3) to let us know if something bothers them, we will prune. Most are happy to be able to enjoy our "green." Once, someone wanted a tree trimmed because of his cubbyhouse, which he wanted to set up next to our side. We did it, but the kids no longer live there and our tree was eventually replaced by an olive tree.
In the said case, we would prune from our side; neighborly cooperation is more important to me than a tree.