Rocca Castello, rocca Provenzale