L'inventaire de Pedreiro Rochedo est privé.