Si l'École navale arrive à Brest, où réimplanter le Lycée naval ?