Perhaps, PONT_DES_MARTYRS_DU_15-JUILLET is not a misspelling but a real word. Click here to search for it in our spellcheck dictionary.