Crise des sous-marins : le contrat rompu, quelle indemnisation pour Naval Group ?