>>263
グロタンディークが出演した映画があると聞いてレンタルビデオ（DVDにはなってない）
を借りてみましたが、よく似ているものの別人という印象でした。
タイトルはたしか。。ちょっと調べてみます。