Personnage historique ou ressource littéraire ? Arculfo, le pèlerin