革命战争，1792—1815年