La fonction SetProvCount permet de modifier les compteurs d'une séquence provisoire.
SetProvCount( { graphe, } seq, sompteur, valeur) : status