Constructibilité de de Rham p-adique

We use the theory of special modules to define the category of de Rham p-adic complexes on a smooth scheme over a perfect field and we prove a constructibility criterion implying the first finiteness properties.