What trees are these? Concerned re root damage to property

Hi,

We have two types of trees in our garden in Zahora which I need to identify so I know their root formation. One type has caused the wall between us and our neighbour's property to collapse, mainly just due to the trucks growing, but they are also about 2-3m away from our house. We're getting the wall rebuilt around them as we would prefer to leave them where they are as they're beautiful and provide shade in our parking area but if the roots are relatively shallow and wide spread we may have to reconsider. Also, we have a beautiful extremely tall pine tree even closer to the house but I think these are protected. Can anyone shed any light on what trees they are so I can look up their root formation? Also, can anyone recommend a tree surgeon to crown or thin them out