El edificio que alberga el museo de San Pedro de Rocas