%0 Journal Article %A Daniel Caro %A Nobuo Tsuzuki %T Overholonomicity of overconvergent $F$-isocrystals over smooth varieties %J Annals of mathematics %D 2012 %P 747-813 %V 176 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.4007/annals.2012.176.2.2/ %R 10.4007/annals.2012.176.2.2 %G en %F 10_4007_annals_2012_176_2_2