“petite capitals” is another name for Petite caps.