The superior oblique muscle is supplied by –