In peacetime, what the approximate number of French soldiers?