Obras de Palacio, Miguel de ( 9 )