Rey que gobernaba en España cuando tuvo lugar la batalla de Rocroi (1643).