formalizálva: régi
Benke | ♂ | A Benedek ‣ és a Benjámin ‣ régi becézőjéből önállósult | | „néhány előfordulás” → „rendkívül ritka”