Si Diego, es brasileño pero como su apellido suena tan como diría.... HISPANO? :cuniaaao: (posiblemente e indagando un poco su abuelo por parte de padre haya nacido en "Jiménez de Jamuz"... )

Una confusión de alguno de los discípulos de Carlos Miquel, seguro