Bueno, no recuerdo si tenía más hijos, pero yo creo que ese señor se llama o llamaba Antonio, también.
Uno de los hermanos de Miguel (el que yo creo que es el padre) se llamaba Antonio también. Qué lio! Y es que los hijos no salen en la guia.