Franska militär- och marinbudgeten.