Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives