Approche symbolique de l'analyse de systemes distribuees avec des donnees.