EPSG:9534 — RGAF09 + IGN 1988 SB height

COMPOUNDCRS[
    "RGAF09 + IGN 1988 SB height",
    GEOGCRS[
        "RGAF09",
        DATUM[
            "Reseau Geodesique des Antilles Francaises 2009",
            ELLIPSOID[
                "GRS 1980",
                6378137,
                298.257222101,
                LENGTHUNIT["metre",1,ID["EPSG",9001]],
                ID["EPSG",7019]
            ],
            ID["EPSG",1073]
        ],
        CS[ellipsoidal,2,ID["EPSG",6422]],
        AXIS["Geodetic latitude (Lat)",north],
        AXIS["Geodetic longitude (Lon)",east],
        ANGLEUNIT["degree",0.0174532925199433,ID["EPSG",9102]],
        ID["EPSG",5489]
    ],
    VERTCRS[
        "IGN 1988 SB height",
        VDATUM["IGN 1988 SB",ID["EPSG",5213]],
        CS[vertical,1,ID["EPSG",6499]],
        AXIS["Gravity-related height (H)",up],
        LENGTHUNIT["metre",1,ID["EPSG",9001]],
        GEOIDMODEL["RRAF 1991 to IGN 1988 SB height (1)",ID["EPSG",4567]],
        GEOIDMODEL["RGAF09 to IGN 1988 SB height (1)",ID["EPSG",5508]],
        GEOIDMODEL["RGAF09 to IGN 1988 SB height (2)",ID["EPSG",9187]],
        ID["EPSG",5619]
    ],
    ID["EPSG",9534]
]

+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs

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

{
  "type": "CoordinateReferenceSystem",
  "code": 9534,
  "name": "RGAF09 + IGN 1988 SB height",
  "kind": "compound",
  "area": "Guadeloupe - St Barthelemy - onshore",
  "unit": null,
  "bbox": [
    17.82,
    -62.92,
    17.98,
    -62.73
  ],
  "proj4": "+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs"
}

INSERT INTO spatial_ref_sys (srid, auth_name, auth_srid, proj4text, srtext)
VALUES (9534, 'EPSG', 9534, '+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs', 'COMPD_CS["RGAF09 + IGN 1988 SB 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 SB height",VERT_DATUM["IGN 1988 SB",2005,AUTHORITY["EPSG","5213"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","5619"]],AUTHORITY["EPSG","9534"]]');

PROJECTION
  "+proj=longlat"
  "+ellps=GRS80"
  "+vunits=m"
  "+no_defs"
  "+type=crs"
END

9534=COMPD_CS["RGAF09 + IGN 1988 SB 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 SB height",VERT_DATUM["IGN 1988 SB",2005,AUTHORITY["EPSG","5213"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","5619"]],AUTHORITY["EPSG","9534"]]