Naval Group's first-half 2017 results - EDR Magazine