Dans le budget de Marine, 35 ans : « Il a fallu tout revoir dans notre façon de dépenser »