How are the French forces ranked in size compared to other military