décompositions progressives