Sous-marins: quelle indemnisation pour Naval Group après la perte du "contrat du siècle"?