No tenemos la biografía de J. Rodrigues de Carvalho.