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”