Bataille de Creveldt gagnée par le duc de Brunswick le 23 juin 1758 — Antoine Henri de Jomini