Les Actions du Grand Condé, Bataille de Rocroi, 1643 (1690)