Christiaan Huygens, Den Ouden - Huygens, Christiaen (1885)