>>221
Mebkhout「Le Formalisme des Six Operations de Grothendieck pour les Dx-modules Coherent」Hermann
は見たことないので比較してという意味ではないので・・・
メブクのほうがいいきがする。Grothenの周辺の人だから。