D\'evissages des F-complexes de D-modules arithm\'etiques en F-isocristaux surconvergents

Nous d\'efinissons et \'etudions les d\'evissages des $F$-complexes de $\mathcal{D}$-modules arithm\'etiques en $F$-isocristaux surconvergents. Nous prouvons que les $F$-complexes surholonomes sont d\'evissables en $F$-isocristaux surconvergents. On \'etablit ensuite une formule cohomologique, \'etendant celle d'\'Etesse et Le Stum, des fonctions $L$ associ\'ees aux duaux des $F$-complexes de $\mathcal{D}$-modules arithm\'etiques d\'evissables en $F$-isocristaux surconvergents. Puis, nous obtenons un analogue $p$-adique de Weil II \'etendant celui de Kedlaya.