レオンハルト

レオナルドゥスの別名。