Full faithfulness for overconvergent F-de Rham-Witt connections

Soit X une variété lisse sur un corps parfait de charactéristique p>0. On définit les F-connections de de Rham-Witt surconvergentes comme analogues de F-cristaux sur les schémas propre. On montre que le foncteur oubli de la catégorie de F-connections de de Rham-Witt surconvergentes à la catégorie de F-connections de de Rham-Witt convergentes est pleinement fidèle.