Han var konung Ludvig Filipsuf