Поясните, пожалуйста, в каких случаях употребляемое словосочетание «папа римский» является или не является «полным официальным наименованием высшего церковного должностного лица»? А также, является ли текст статьи энциклопедии неофициальным, или энциклопедический стиль допускает использование в статье «полного официального наименования» (то есть написания с прописных букв)?