Dictionnaire de Trévoux/6e édition, 1771/BADAJOX
BADAJOX. s. m. Ville d’Espagne dans l’Estramadoure, sur le Guadiane, à huit ou dix lieues de Mérida. ☞ Aujourd’hui Badajocium, autrefois Pax Augusta, selon quelques Géographes, & Colonia pacentis, selon d’autres. Quelques-uns écrivent Badajoz, & c’est ainsi qu’on le prononce plus ordinairement. Ce mot s’est formé par corruption du nom latin, qui en Espagnol se dit Paz de Augusto ; d’où l’on a fait Padaugusto, Padajust, Padajos, Badajox. Il ne faut donc pas dire que ce sont les Maures qui lui ont donné ce nom moderne, comme ont fait les Auteurs du Moreri. Badajox a un évêché suffragant de Compostelle. Maty. Badajox est très-bien fortifié, & défendu par le fort de S. Christophle, & par une citadelle. Le Roi (Jean I.) donna à Martin Alphonse la conduite de quelques troupes pour aller former le siége de Badajox. De la Neuv.