The pruning of olive trees