{
    "abbrev": "",
    "description": [
        ""
    ],
    "formatVersion": 1,
    "menu": "",
    "name": "Propriété",
    "shortcut": "",
    "tag": [
        "% propriété",
        "\\begin{propriete}[]",
        "\t",
        "\\end{propriete}"
    ],
    "trigger": ""
}