Grothendieckってちゃんと年金もらえてるのかな?
難民出身とかだし