Convento de San Miguel, x. XV, SAN MARTIN DE TREVEJO