sjukhus och marinsjukhuset i Saint-Mandrier.