Den franska flottan och marinbudgeten.