the seventh arrondissement is part of paris