Olivier de Roncevaux, histoire ou légende ? — Didier-Georges Dooghe