La Seyne-sur-Mer. La Mairie