Un roi sans divertissement (Film 1963)