Krigs- och marinbudgeterna i Frankrike.