芭蕉が「閑さや岩にしみ入蝉の声」と詠んだ山寺の正式名称は何でしょうか？

この句が詠まれた山寺の正式名称は立石寺です。山形県山形市にある天台宗の寺院で、貞観2年（860年）に慈覚大師円仁によって開山されました。山の岩肌に建てられた寺院で、芭蕉が訪れた時も現在と同様に静寂に包まれた神聖な場所でした。芭蕉はここで蝉の声が岩にしみ入るような静寂を感じ、この有名な句を詠みました。この句は奥の細道の中でも特に有名で、日本人なら誰でも知っている名句の一つです。