En el año 843, el Tratado de Verdún, que dividía el Sacro Imperio de Ludovico Pío entre sus tres hijos, concedió al mayor, Lotario I, la Provenza.