Gravar-mail: Two thirteenth-century hospitaller castles in Provence: Manosque and Puimoisson according to written sources