Modélisation de la décomposition de PRO : Reparamétrage de STICS: Septembre 2011