EPSG:9535

COMPD_CS["RGAF09 + IGN 1988 SM height",
    GEOGCS["RGAF09",
        DATUM["Reseau_Geodesique_des_Antilles_Francaises_2009",
            SPHEROID["GRS 1980",6378137,298.257222101,
                AUTHORITY["EPSG","7019"]],
            AUTHORITY["EPSG","1073"]],
        PRIMEM["Greenwich",0,
            AUTHORITY["EPSG","8901"]],
        UNIT["degree",0.0174532925199433,
            AUTHORITY["EPSG","9122"]],
        AUTHORITY["EPSG","5489"]],
    VERT_CS["IGN 1988 SM height",
        VERT_DATUM["IGN 1988 SM",2005,
            AUTHORITY["EPSG","5214"]],
        UNIT["metre",1,
            AUTHORITY["EPSG","9001"]],
        AXIS["Gravity-related height",UP],
        AUTHORITY["EPSG","5620"]],
    AUTHORITY["EPSG","9535"]]

COMPOUNDCRS["RGAF09 + IGN 1988 SM height",
    GEOGCRS["RGAF09",
        DATUM["Reseau Geodesique des Antilles Francaises 2009",
            ELLIPSOID["GRS 1980",6378137,298.257222101,
                LENGTHUNIT["metre",1]]],
        PRIMEM["Greenwich",0,
            ANGLEUNIT["degree",0.0174532925199433]],
        CS[ellipsoidal,2],
            AXIS["geodetic latitude (Lat)",north,
                ORDER[1],
                ANGLEUNIT["degree",0.0174532925199433]],
            AXIS["geodetic longitude (Lon)",east,
                ORDER[2],
                ANGLEUNIT["degree",0.0174532925199433]]],
    VERTCRS["IGN 1988 SM height",
        VDATUM["IGN 1988 SM"],
        CS[vertical,1],
            AXIS["gravity-related height (H)",up,
                LENGTHUNIT["metre",1]]],
    USAGE[
        SCOPE["Spatial referencing."],
        AREA["Guadeloupe - onshore - St Martin island."],
        BBOX[18.01,-63.21,18.17,-62.96]],
    ID["EPSG",9535]]

GEOGCS["GCS_RGAF09",
    DATUM["Reseau_Geodesique_des_Antilles_Francaises_2009",
        SPHEROID["GRS_1980",6378137.0,298.257222101]],
    PRIMEM["Greenwich",0.0],
    UNIT["Degree",0.0174532925199433]],
VERTCS["IGN_1988_SM",
    VDATUM["IGN_1988_SM"],
    PARAMETER["Vertical_Shift",0.0],
    PARAMETER["Direction",1.0],
    UNIT["Meter",1.0]]

proj4.defs("EPSG:9535","+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs");

{
    "$schema": "https://proj.org/schemas/v0.7/projjson.schema.json",
    "type": "CompoundCRS",
    "name": "RGAF09 + IGN 1988 SM height",
    "components": [
        {
            "type": "GeographicCRS",
            "name": "RGAF09",
            "datum": {
                "type": "GeodeticReferenceFrame",
                "name": "Reseau Geodesique des Antilles Francaises 2009",
                "ellipsoid": {
                    "name": "GRS 1980",
                    "semi_major_axis": 6378137,
                    "inverse_flattening": 298.257222101
                }
            },
            "coordinate_system": {
                "subtype": "ellipsoidal",
                "axis": [
                    {
                        "name": "Geodetic latitude",
                        "abbreviation": "Lat",
                        "direction": "north",
                        "unit": "degree"
                    },
                    {
                        "name": "Geodetic longitude",
                        "abbreviation": "Lon",
                        "direction": "east",
                        "unit": "degree"
                    }
                ]
            }
        },
        {
            "type": "VerticalCRS",
            "name": "IGN 1988 SM height",
            "datum": {
                "type": "VerticalReferenceFrame",
                "name": "IGN 1988 SM"
            },
            "coordinate_system": {
                "subtype": "vertical",
                "axis": [
                    {
                        "name": "Gravity-related height",
                        "abbreviation": "H",
                        "direction": "up",
                        "unit": "metre"
                    }
                ]
            }
        }
    ],
    "scope": "Spatial referencing.",
    "area": "Guadeloupe - onshore - St Martin island.",
    "bbox": {
        "south_latitude": 18.01,
        "west_longitude": -63.21,
        "north_latitude": 18.17,
        "east_longitude": -62.96
    },
    "id": {
        "authority": "EPSG",
        "code": 9535
    }
}

<?xml version="1.0" encoding="utf-8"?>
<Map srs="+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs">
	<Layer srs="+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs">
	</Layer>
</Map>

INSERT into spatial_ref_sys (srid, auth_name, auth_srid, proj4text, srtext) values ( 9535, 'EPSG', 9535, '+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs', 'COMPD_CS["RGAF09 + IGN 1988 SM height",GEOGCS["RGAF09",DATUM["Reseau_Geodesique_des_Antilles_Francaises_2009",SPHEROID["GRS 1980",6378137,298.257222101,AUTHORITY["EPSG","7019"]],AUTHORITY["EPSG","1073"]],PRIMEM["Greenwich",0,AUTHORITY["EPSG","8901"]],UNIT["degree",0.0174532925199433,AUTHORITY["EPSG","9122"]],AUTHORITY["EPSG","5489"]],VERT_CS["IGN 1988 SM height",VERT_DATUM["IGN 1988 SM",2005,AUTHORITY["EPSG","5214"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","5620"]],AUTHORITY["EPSG","9535"]]');