EPSG:9531

COMPD_CS["RGAF09 + Guadeloupe 1988 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["Guadeloupe 1988 height",
        VERT_DATUM["Guadeloupe 1988",2005,
            AUTHORITY["EPSG","5155"]],
        UNIT["metre",1,
            AUTHORITY["EPSG","9001"]],
        AXIS["Gravity-related height",UP],
        AUTHORITY["EPSG","5757"]],
    AUTHORITY["EPSG","9531"]]

COMPOUNDCRS["RGAF09 + Guadeloupe 1988 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["Guadeloupe 1988 height",
        VDATUM["Guadeloupe 1988"],
        CS[vertical,1],
            AXIS["gravity-related height (H)",up,
                LENGTHUNIT["metre",1]]],
    USAGE[
        SCOPE["Spatial referencing."],
        AREA["Guadeloupe - onshore - Basse-Terre and Grande-Terre."],
        BBOX[15.88,-61.85,16.55,-61.15]],
    ID["EPSG",9531]]

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",
    VDATUM["IGN_1988"],
    PARAMETER["Vertical_Shift",0.0],
    PARAMETER["Direction",1.0],
    UNIT["Meter",1.0]]

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

{
    "$schema": "https://proj.org/schemas/v0.7/projjson.schema.json",
    "type": "CompoundCRS",
    "name": "RGAF09 + Guadeloupe 1988 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": "Guadeloupe 1988 height",
            "datum": {
                "type": "VerticalReferenceFrame",
                "name": "Guadeloupe 1988"
            },
            "coordinate_system": {
                "subtype": "vertical",
                "axis": [
                    {
                        "name": "Gravity-related height",
                        "abbreviation": "H",
                        "direction": "up",
                        "unit": "metre"
                    }
                ]
            }
        }
    ],
    "scope": "Spatial referencing.",
    "area": "Guadeloupe - onshore - Basse-Terre and Grande-Terre.",
    "bbox": {
        "south_latitude": 15.88,
        "west_longitude": -61.85,
        "north_latitude": 16.55,
        "east_longitude": -61.15
    },
    "id": {
        "authority": "EPSG",
        "code": 9531
    }
}

<?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 ( 9531, 'EPSG', 9531, '+proj=longlat +ellps=GRS80 +vunits=m +no_defs +type=crs', 'COMPD_CS["RGAF09 + Guadeloupe 1988 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["Guadeloupe 1988 height",VERT_DATUM["Guadeloupe 1988",2005,AUTHORITY["EPSG","5155"]],UNIT["metre",1,AUTHORITY["EPSG","9001"]],AXIS["Gravity-related height",UP],AUTHORITY["EPSG","5757"]],AUTHORITY["EPSG","9531"]]');