och Ledru Rollin äro europeiska namn.