DIRICHLET, Johann Peter Gustav Lejeune