(de nombre Juan Mincio ).