building of a gas station and of a building devoted to nautical function in saint Mandrier