El tamaño de un nodo es el número de descendientes (incluido él mismo).